Skip to content


  • Arctic Code Vault Contributor


@mirage @rumpkernel @Solo5


  1. MirageOS is a library operating system that constructs unikernels

    OCaml 1.5k 193

  2. A sandboxed execution environment for unikernels

    C 614 108

  3. The Rumprun unikernel and toolchain for various platforms

    C 970 115

  4. Automated Docker Hub builds of the rumprun toolchain.

    Shell 12 6

486 contributions in the last year

Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Mon Wed Fri
Activity overview
Contributed to Solo5/solo5, mirage/ocaml-freestanding, ocaml/opam-repository and 5 other repositories

Contribution activity

August 2020

mato has no activity yet for this period.

July 2020

Created a pull request in ocaml/opam-repository that received 10 comments

ocaml-freestanding 0.6.1

Add support for Solo5/xen bindings, posix_memalign(). (#81, @mato) nolibc: Implement assert() which was previously a no-op. (#80, @mato) Downstre…

+39 −0 10 comments
2 contributions in private repositories Jul 6 – Jul 7

Seeing something unexpected? Take a look at the GitHub profile guide.

You can’t perform that action at this time.