The solo5-elftool, implemented in OCaml.
Find a file
2025-02-04 19:25:46 +01:00
bin Update dune files with dependency changes 2025-01-30 15:54:02 +01:00
lib Update interface documentation 2025-02-04 19:14:01 +01:00
test Add cram dependency 2025-01-31 18:00:50 +01:00
CHANGES.md Prepare for release v0.4.0 2025-02-04 19:22:16 +01:00
dune-project Add cram test 2025-01-31 17:45:34 +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 robur.io -> robur.coop 2025-02-04 19:25:46 +01:00

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!