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.1
    ISC
    Used by 0 other packages
    Added to opam-repository
  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
    Added to opam-repository
  3. ocaml-freestanding

    No documentation

    Freestanding OCaml runtime
    org:mirage
    Martin Lucina <martin@lucina.net>
    0.6.7
    MIT
    Used by 2 other packages
    Added to opam-repository
  4. ocaml-solo5
    Documentation
    OCaml cross-compiler to the freestanding Solo5 backend
    org:mirage
    Martin Lucina <martin@lucina.net>
    1.3.3
    MIT
    Used by 1 other packages
    Added to opam-repository
  5. ocaml-solo5-cross-aarch64
    Documentation
    OCaml cross-compiler to the freestanding 64-bit ARM Solo5 backend
    org:mirage
    Martin Lucina <martin@lucina.net>
    1.3.3
    MIT
    Used by 0 other packages
    Added to opam-repository
  6. solo5

    No documentation

    Solo5 sandboxed execution environment
    Dan Williams <djwillia@us.ibm.com> Martin Lucina <martin@lucina.net> Ricardo Koller <kollerr@us.ibm.com>
    0.12.1
    ISC
    Used by 4 other packages
    Added to opam-repository
  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
    Added to opam-repository
  8. solo5-cross-aarch64

    No documentation

    Solo5 sandboxed execution environment
    Dan Williams <djwillia@us.ibm.com> Martin Lucina <martin@lucina.net> Ricardo Koller <kollerr@us.ibm.com>
    0.12.1
    ISC
    Used by 1 other packages
    Added to opam-repository