18 search results for "author:"Martin Lucina <martin@lucina.net>""

  1. 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
    Last published 26 Sep 2019
  2. 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
    Last published 27 Mar 2022
  3. 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
    Last published 27 Mar 2022
  4. 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.2
    ISC
    Used by 7 other packages
    Last published 04 Mar 2023
  5. ocaml-freestanding
    Freestanding OCaml compiler
    org:mirage
    Martin Lucina <martin@lucina.net>
    0.7.0
    MIT
    Used by 4 other packages
    Last published 07 Jan 2022
  6. ocaml-freestanding-cross-aarch64
    Freestanding OCaml compiler
    org:mirage
    Martin Lucina <martin@lucina.net>
    0.7.0
    MIT
    Used by 0 other packages
    Last published 07 Jan 2022
  7. ocaml-solo5
    Freestanding OCaml compiler
    org:mirage
    Martin Lucina <martin@lucina.net>
    0.8.1
    MIT
    Used by 0 other packages
    Last published 14 Jun 2022
  8. ocaml-solo5-cross-aarch64
    Freestanding OCaml compiler
    org:mirage
    Martin Lucina <martin@lucina.net>
    0.8.1
    MIT
    Used by 0 other packages
    Last published 14 Jun 2022
  9. solo5
    Solo5 sandboxed execution environment
    Dan Williams <djwillia@us.ibm.com> Martin Lucina <martin@lucina.net> Ricardo Koller <kollerr@us.ibm.com>
    0.7.5
    ISC
    Used by 5 other packages
    Last published 07 Dec 2022
  10. 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
    Last published 14 Dec 2021
  11. 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
    Last published 14 Dec 2021
  12. 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
    Last published 14 Dec 2021
  13. 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
    Last published 14 Dec 2021
  14. 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
    Last published 14 Dec 2021
  15. 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.5
    ISC
    Used by 2 other packages
    Last published 07 Dec 2022
  16. 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
    Last published 10 Aug 2018
  17. 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
    Last published 10 Aug 2018
  18. 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
    Last published 10 Aug 2018