18 search results for "author:"martin@lucina.net""
Showing 1 - 18
-
Solo5 implementation of MirageOS Bootvar interface0.6.0ISCUsed by 0 other packages26 Sep 2019
-
Solo5 implementation of MirageOS console interface0.8.0ISCUsed by 0 other packages27 Mar 2022
-
Solo5 implementation of MirageOS network interface0.8.0ISCUsed by 0 other packages27 Mar 2022
-
Solo5 core platform libraries for MirageOS0.9.4ISCUsed by 7 other packages06 Nov 2024
-
ocaml-freestanding
No documentation
0.7.0MITUsed by 4 other packages07 Jan 2022 -
0.7.0MITUsed by 0 other packages07 Jan 2022
-
0.8.4MITUsed by 0 other packages23 Apr 2024
-
OCaml cross-compiler to the freestanding 64-bit ARM Solo5 backend0.8.4MITUsed by 0 other packages23 Apr 2024
-
Solo5 sandboxed execution environment0.9.0ISCUsed by 5 other packages14 Oct 2024
-
solo5-bindings-hvt
No documentation
Solo5 sandboxed execution environment (hvt target)0.6.9ISCUsed by 2 other packages14 Dec 2021 -
solo5-bindings-muen
No documentation
Solo5 sandboxed execution environment (muen target)0.6.9ISCUsed by 2 other packages14 Dec 2021 -
solo5-bindings-spt
No documentation
Solo5 sandboxed execution environment (spt target)0.6.9ISCUsed by 2 other packages14 Dec 2021 -
solo5-bindings-virtio
No documentation
Solo5 sandboxed execution environment (virtio target)0.6.9ISCUsed by 2 other packages14 Dec 2021 -
solo5-bindings-xen
No documentation
Solo5 sandboxed execution environment (xen target)0.6.9ISCUsed by 2 other packages14 Dec 2021 -
Solo5 sandboxed execution environment0.9.0ISCUsed by 2 other packages14 Oct 2024
-
solo5-kernel-muen
No documentation
Solo5 sandboxed execution environment (muen target)0.3.1ISCUsed by 2 other packages10 Aug 2018 -
solo5-kernel-ukvm
No documentation
Solo5 sandboxed execution environment (ukvm target)0.3.1ISCUsed by 2 other packages10 Aug 2018 -
solo5-kernel-virtio
No documentation
Solo5 sandboxed execution environment (virtio target)0.3.1ISCUsed by 2 other packages10 Aug 2018