You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Reynir Björnsson 43731ce557 Merge pull request 'opam: use 4.08.0 instead of 4.8.0' (#3) from minor into main 6 months ago
bin Rename binary, implement query-abi, ... 10 months ago
lib query_abi / query_manifest: catch exceptions from Owee 8 months ago
CHANGES.md Prepare release 0.3.0 8 months ago
LICENSE.md add LICENSE and README 10 months ago
README.md add LICENSE and README 10 months ago
dune-project Also rename in dune-project 10 months ago
solo5-elftool.opam opam: use 4.08.0 instead of 4.8.0 7 months ago

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!