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

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!