OCaml logo
18 Search Results
mirage-bootvar-solo5
Solo5 implementation of MirageOS Bootvar interface
org:mirage
Dan Williams <djwillia@us.ibm.com> Magnus Skjegstad <magnus@skjegstad.com> Martin Lucina <martin@lucina.net>
0.6.0
ISC
Used by 0 other packages
mirage-console-solo5
Solo5 implementation of MirageOS console interface
org:mirage
Anil Madhavapeddy <anil@recoil.org> Dan Williams <djwillia@us.ibm.com> Martin Lucina <martin@lucina.net>
0.8.0
ISC
Used by 0 other packages
mirage-net-solo5
Solo5 implementation of MirageOS network interface
org:mirage
Anil Madhavapeddy <anil@recoil.org> Dan Williams <djwillia@us.ibm.com> Martin Lucina <martin@lucina.net>
0.8.0
ISC
Used by 0 other packages
mirage-solo5
Solo5 core platform libraries for MirageOS
org:mirage
Anil Madhavapeddy <anil@recoil.org> Dan Williams <djwillia@us.ibm.com> Martin Lucina <martin@lucina.net>
0.9.0
ISC
Used by 7 other packages
ocaml-freestanding
Freestanding OCaml compiler
org:mirage
Martin Lucina <martin@lucina.net>
0.7.0
MIT
Used by 4 other packages
ocaml-freestanding-cross-aarch64
Freestanding OCaml compiler
org:mirage
Martin Lucina <martin@lucina.net>
0.7.0
MIT
Used by 0 other packages
ocaml-solo5
Freestanding OCaml compiler
org:mirage
Martin Lucina <martin@lucina.net>
0.8.1
MIT
Used by 0 other packages
ocaml-solo5-cross-aarch64
Freestanding OCaml compiler
org:mirage
Martin Lucina <martin@lucina.net>
0.8.1
MIT
Used by 0 other packages
solo5
Solo5 sandboxed execution environment
Dan Williams <djwillia@us.ibm.com> Martin Lucina <martin@lucina.net> Ricardo Koller <kollerr@us.ibm.com>
0.7.3
ISC
Used by 5 other packages
solo5-bindings-hvt
Solo5 sandboxed execution environment (hvt target)
Dan Williams <djwillia@us.ibm.com> Martin Lucina <martin@lucina.net> Ricardo Koller <kollerr@us.ibm.com>
0.6.9
ISC
Used by 2 other packages
solo5-bindings-muen
Solo5 sandboxed execution environment (muen target)
Dan Williams <djwillia@us.ibm.com> Martin Lucina <martin@lucina.net> Ricardo Koller <kollerr@us.ibm.com>
0.6.9
ISC
Used by 2 other packages
solo5-bindings-spt
Solo5 sandboxed execution environment (spt target)
Dan Williams <djwillia@us.ibm.com> Martin Lucina <martin@lucina.net> Ricardo Koller <kollerr@us.ibm.com>
0.6.9
ISC
Used by 2 other packages
solo5-bindings-virtio
Solo5 sandboxed execution environment (virtio target)
Dan Williams <djwillia@us.ibm.com> Martin Lucina <martin@lucina.net> Ricardo Koller <kollerr@us.ibm.com>
0.6.9
ISC
Used by 2 other packages
solo5-bindings-xen
Solo5 sandboxed execution environment (xen target)
Dan Williams <djwillia@us.ibm.com> Martin Lucina <martin@lucina.net> Ricardo Koller <kollerr@us.ibm.com>
0.6.9
ISC
Used by 2 other packages
solo5-cross-aarch64
Solo5 sandboxed execution environment
Dan Williams <djwillia@us.ibm.com> Martin Lucina <martin@lucina.net> Ricardo Koller <kollerr@us.ibm.com>
0.7.3
ISC
Used by 2 other packages
solo5-kernel-muen
Solo5 sandboxed execution environment (muen target)
Dan Williams <djwillia@us.ibm.com> Martin Lucina <martin@lucina.net> Ricardo Koller <kollerr@us.ibm.com>
0.3.1
ISC
Used by 2 other packages
solo5-kernel-ukvm
Solo5 sandboxed execution environment (ukvm target)
Dan Williams <djwillia@us.ibm.com> Martin Lucina <martin@lucina.net> Ricardo Koller <kollerr@us.ibm.com>
0.3.1
ISC
Used by 2 other packages
solo5-kernel-virtio
Solo5 sandboxed execution environment (virtio target)
Dan Williams <djwillia@us.ibm.com> Martin Lucina <martin@lucina.net> Ricardo Koller <kollerr@us.ibm.com>
0.3.1
ISC
Used by 2 other packages