ocaml-solo5
OCaml cross-compiler for Solo5 unikernels, with macOS/Apple silicon host support
unikernel mirageos ocaml
Star
Fork
Watch

Commits on main

Hannes Mehnert
changes for 1.3.3
committed
Hannes Mehnert
Merge pull request #177 from samoht/nolibc-printf-double
committed
Hannes Mehnert
Merge pull request #181 from hannesm/update-changes-178-179
committed
Thomas Gazagnaire
nolibc: format printf floats as double, not long double
committed
Hannes Mehnert
update changes for #178 #179 #180
committed
Calascibetta Romain
Merge pull request #180 from hannesm/no-cirrus
committed
Hannes Mehnert
Merge pull request #179 from shym/openlibm-v0.8.7
committed
Hannes Mehnert
remove cirrus CI, which is no longer available
committed
Hannes Mehnert
Merge pull request #178 from shym/ci-updates
committed
Samuel Hym
Merge commit '9460a582e086139624aaff51bae1d98db9834feb' (openlibm's v0.8.7)
committed
Samuel Hym
Squashed 'openlibm/' changes from a844d58..9fbeafc
committed
Samuel Hym
CI: Deduplicate runs
committed
Samuel Hym
CI: Run the tests also on arm64
committed
Samuel Hym
CI: Make logs more useful with `--display short`
committed
Samuel Hym
CI: Tell dune that the tests in `examples` are run in the `solo5` context
committed
Samuel Hym
CI: Enable verbose build of the OCaml/Solo5 packages
committed
Hannes Mehnert
changes for 1.3.2
committed
Hannes Mehnert
Merge pull request #176 from hannesm/fixfix
committed
Hannes Mehnert
Fix (again) the patch
committed
Hannes Mehnert
Changes for 1.3.1
committed
Hannes Mehnert
Merge pull request #175 from hannesm/fix-patch
committed
Hannes Mehnert
Merge pull request #174 from hannesm/fix
committed
Hannes Mehnert
fix patch 0003 to apply cleanly on 5.5.0
committed
Hannes Mehnert
Merge pull request #172 from mneumann/dragonfly
committed
Hannes Mehnert
ocaml-solo5-cross-aarch64: fix opam file syntax
committed
Michael Neumann
Support DragonFly BSD
committed
Calascibetta Romain
Merge pull request #169 from mirage/prepare-v1.3.0
committed
Calascibetta Romain
Merge pull request #170 from mirage/dependabot/github_actions/actions/checkout-7
committed
dependabot[bot]
Bump actions/checkout from 6 to 7
committed
Calascibetta Romain
Prepare v1.3.0
committed
Calascibetta Romain
Merge pull request #167 from hannesm/add-5-5-0
committed
Calascibetta Romain
Add the CI for OCaml 5.5.0
committed
Calascibetta Romain
Keep the same os_type as the host to keep the same CRC for our Stdlib as the host and finally be able to link pure OCaml library from a switch with unikernels.
committed
Hannes Mehnert
Add OCaml 5.5.0 support: - the patch 0002 has been integrated (8bc40f9d8dea61824c2c7f4bf773b59ba118c8d7) - the patch 0001 has been integrated (a1263d64ddfdf5c5e91003e22abc10e3044258be) - the stdlib/header.c now requires SEEK_END, PATH_MAX, strcpy, execvp
committed
Hannes Mehnert
changes for 1.2.2
committed
Pierre Alain
add fstat function for lib runtime event in Ocaml 5.x (#165)
committed
Hannes Mehnert
tweak ocaml-solo5.opam
committed
Hannes Mehnert
changes for 1.2.1
committed
Hannes Mehnert
Merge pull request #163 from hannesm/drop-530-540
committed
Hannes Mehnert
drop 5.3.0 and 5.4.0
committed
Hannes Mehnert
support ocaml 5.4.1 (#162)
committed
Reynir Björnsson
Merge pull request #161 from hannesm/cirrus-ci
committed
Hannes Mehnert
use freebsd-14-3 on cirrus
committed
Hannes Mehnert
changes for 1.2.0, and update README
committed
Hannes Mehnert
Merge pull request #160 from mirage/dependabot/github_actions/actions/checkout-6
committed
Hannes Mehnert
Merge pull request #155 from shym/54
committed
Calascibetta Romain
Use (opam-installed) `fmt` in one example
committed
Samuel Hym
CI: Test both 5.3.0 and 5.4.0 compilers
committed
Samuel Hym
Add OCaml 5.4.0 to the supported dependencies
committed
Samuel Hym
Add compiler patches for OCaml 5.4.0
committed
dependabot[bot]
Bump actions/checkout from 5 to 6
committed
Samuel Hym
Extend nolibc to support OCaml 5.4.0
committed
Hannes Mehnert
Merge pull request #154 from shym/opatch
committed
Samuel Hym
Use `opatch` instead of `git apply`
committed
Samuel Hym
Regenerate patches in plain text diff
committed
Hannes Mehnert
Merge pull request #156 from shym/opam-cleanup
committed
Samuel Hym
Cleanup opam package dependencies
committed
Calascibetta Romain
Merge pull request #152 from mirage/dependabot/github_actions/actions/checkout-5
committed
dependabot[bot]
Bump actions/checkout from 4 to 5
committed
Pierre Alain
release v1.1.0
committed