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
    29 Nov 2022
  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
    22 May 2024
  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.0
    ISC
    Used by 0 other packages
    27 Mar 2022
  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
    06 Feb 2025
  5. 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
  6. 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
  7. 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
  8. 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
  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
    14 Dec 2021
  10. 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