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.
25 Commits
2 Branches
4 Tags
96 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
Reynir Björnsson 43731ce557 Merge pull request 'opam: use 4.08.0 instead of 4.8.0' (#3) from minor into main 
Reviewed-on: https://git.robur.io/robur/ocaml-solo5-elftool/pulls/3
 		1 year ago
bin Rename binary, implement query-abi, ... 2 years ago
lib query_abi / query_manifest: catch exceptions from Owee 1 year ago
CHANGES.md Prepare release 0.3.0 1 year 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 opam: use 4.08.0 instead of 4.8.0 1 year 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!