8 search results for "author:"martin@lucina.net""

Showing 1 - 8
  1. mirage-net-solo5
    Documentation
    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
    27 Mar 2022
  2. mirage-solo5
    Documentation
    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.10.0
    ISC
    Used by 5 other packages
    06 Feb 2025
  3. ocaml-freestanding

    No documentation

    Freestanding OCaml runtime
    org:mirage
    Martin Lucina <martin@lucina.net>
    0.6.7
    MIT
    Used by 2 other packages
    04 Apr 2022
  4. ocaml-solo5

    No documentation

    OCaml cross-compiler to the freestanding Solo5 backend
    org:mirage
    Martin Lucina <martin@lucina.net>
    1.1.0
    MIT
    Used by 0 other packages
    17 Mar 2025
  5. ocaml-solo5-cross-aarch64

    No documentation

    OCaml cross-compiler to the freestanding 64-bit ARM Solo5 backend
    org:mirage
    Martin Lucina <martin@lucina.net>
    1.1.0
    MIT
    Used by 0 other packages
    17 Mar 2025
  6. solo5
    Documentation
    Solo5 sandboxed execution environment
    Dan Williams <djwillia@us.ibm.com> Martin Lucina <martin@lucina.net> Ricardo Koller <kollerr@us.ibm.com>
    0.9.1
    ISC
    Used by 3 other packages
    06 Mar 2025
  7. solo5-bindings-hvt

    No documentation

    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
    14 Dec 2021
  8. solo5-cross-aarch64
    Documentation
    Solo5 sandboxed execution environment
    Dan Williams <djwillia@us.ibm.com> Martin Lucina <martin@lucina.net> Ricardo Koller <kollerr@us.ibm.com>
    0.9.1
    ISC
    Used by 1 other packages
    06 Mar 2025