robur
/
ocaml-solo5-elftool
3
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
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.
26 Commits
2 Branches
4 Tags
97 KiB
OCaml 100%
 
main
gh-pages
v0.3.1
v0.3.0
v0.2.0
v0.1.0
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'main'
${ noResults }
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!