Calascibetta Romain

I really think that it will be easy to produce that with MirageOS 4 and I'm mostly in favor to us: [cosmopolitan][cosmopolitan]. I think I will be able to propose...

Do you prefer to generate `GNUmakefile` (and assume to use into *BSD GNU make) or improve the generated Makefile to work everywhere?

I think that we missed the last point: test & run our unikernels. I will let open this issue.

I'm not sure but it seems that `mirage` depends on `stdlib-shims` (so `result` from `stdlib.cmxa`) and `functoria` depends on `rresult` which depends on `result` package (JaneStreet) - however, both (on...

It seems that your OPAM context is not correctly defined. Not sure where is the error where: - the `num` error is detailed here https://github.com/ocaml/opam/issues/3968 - I don't really know...

I will let open this issue but it's no more related to the MirageOS 3 milestone.

Hi @Ulrar, The MirageOS ecosystem has some examples of how to use C stubs and link them with your _unikernel_. The most recent example is [digestif.0.7.4](https://github.com/mirage/digestif.git). The key is to...

We can use `ocamlopt -i` but I'm not sure that `dune` allows us to do that.

@avsm WDYT if we close this PR? This issue seems more related to CoHTTP than `mirage`.

Hmmhmmm, ok I see. It seems that your PR on `mirage-skeleton` works with the current status of `mirage/mirage`. Let's merge it so. We should keep this issue and rename it...