robur/ocaml-solo5-elftool
4
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
The solo5-elftool, implemented in OCaml.
21 commits 2 branches 4 tags 83 KiB
OCaml 100%
Find a file
Hannes Mehnert 51743d810f query_abi / query_manifest: catch exceptions from Owee 
Owee_elf may raise various exceptions (I may have missed some):
- Owee_buf.Invalid_format of string
- Failure (failwith in Owee_elf.read_identification, called by read_elf)
- Assert_failure (assert in Owee_elf.read_header, called by read_elf)

addresses #1
2022-01-28 13:47:30 +01:00
bin Rename binary, implement query-abi, ... 2021-12-16 12:12:43 +01:00
lib query_abi / query_manifest: catch exceptions from Owee 2022-01-28 13:47:30 +01:00
CHANGES.md Prepare release v0.2.0 2021-12-16 16:17:19 +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 Prepare release v0.2.0 2021-12-16 16:17:19 +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!