10 search results for "author:"Martin Lucina""

Showing 1 - 10
  1. mirage-block-solo5
    Documentation
    Solo5 implementation of MirageOS block interface
    org:mirage
    Dan Williams Martin Lucina
    0.8.1
    ISC
    Used by 1 other packages
    Added to opam-repository
  2. mirage-bootvar
    Documentation
    Boot time arguments for MirageOS
    org:mirage
    Anil Madhavapeddy Dan Williams Hannes Mehnert Jon Ludlam Magnus Skjegstad et al.
    1.0.1
    ISC
    Used by 0 other packages
    Added to opam-repository
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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.0
    ISC
    Used by 4 other packages
    Added to opam-repository
  9. 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
  10. 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.0
    ISC
    Used by 1 other packages
    Added to opam-repository