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
Hannes Mehnert c6dd76dc98 roburio -> robur-coop 3 weeks ago
bin Rename binary, implement query-abi, ... 2 years ago
lib query_abi / query_manifest: catch exceptions from Owee 2 years ago
CHANGES.md Prepare release 0.3.0 2 years ago
LICENSE.md add LICENSE and README 2 years ago
README.md add LICENSE and README 2 years ago
dune-project Also rename in dune-project 2 years ago
solo5-elftool.opam roburio -> robur-coop 3 weeks 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!