robur/ocaml-solo5-elftool
4
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
The solo5-elftool, implemented in OCaml.
19 commits 2 branches 4 tags 83 KiB
OCaml 100%
Find a file
Reynir Björnsson d3c7b0cd00 Rename binary, implement query-abi, ... 
* The binary is renamed from solo5-elftool to osolo5-elftool to allow
  for distinguishing from the binary from solo5
* query_abi is implemented and osolo5-elftool is extended with a
  query-abi sub command
* instead of [assert false] on unknown manifest entry types or abi
  targets an [Error (`Msg ...)] is returned.
2021-12-16 12:12:43 +01:00
bin Rename binary, implement query-abi, ... 2021-12-16 12:12:43 +01:00
lib Rename binary, implement query-abi, ... 2021-12-16 12:12:43 +01:00
test Initial commit 2021-12-09 11:06:56 +01:00
CHANGES.md Prepare for initial release 2021-12-15 16:17:43 +01:00
dune-project Also rename in dune-project 2021-12-15 16:29:36 +01:00
LICENSE.md add LICENSE and README 2021-12-15 16:28:43 +01:00
README.md add LICENSE and README 2021-12-15 16:28:43 +01:00
solo5-elftool.opam Fix typo 2021-12-15 21:31:08 +01:00

README.md

Solo5-elftool - OCaml Solo5 elftool for querying solo5 manifests

Solo5 embeds a manifest of which devices a unikernel expects. Solo5-elftool can be used to read and inspect this manifest.

One advantage over calling out to Solo5's solo5-elftool is that a user of the library can read the manifest from an ELF executable held in memory; no need to write the executable to disk first!