Calascibetta Romain

Add an implementation of `mirage-crypto-rng-miou` to initialize the RNG with Miou

7

This is my first attempt at implementing `mirage-crypto-rng-miou`. The idea of this initialization is to create a process that will periodically refill the random number generator. I've just tested a...

Dune 2.0 and fix clash

10

This PR should fix clash of names (linking error) and add a prefix `mirage__` into extracted C file of `hacl` - only for the UNIX/usual back-end but we should not...

The distribution does not compile on CentOS 7 and Oracle Linux 7

3

See this trace from [this OPAM CI output](https://opam.ci.ocaml.org/github/ocaml/opam-repository/commit/0fd7c0b3ba9236d3160b3ac850225dad0108bff5): ``` #=== ERROR while compiling hacl_x25519.0.2.2 ==================================# # context 2.0.7 | linux/x86_64 | ocaml-base-compiler.4.11.1 | file:///src # path ~/.opam/4.11/.opam-switch/build/hacl_x25519.0.2.2 # command ~/.opam/4.11/bin/dune...

MirageOS compatibility

5

Again 🙂 . However, for the client part of the HTTP protocol, the MirageOS is slightly more complex. Indeed, a `connect` function which allocates a resource (such as a _socket_)...

Add the Miou implementation for caqti

24

This is a draft which requires the _upstream_ version of Miou which is not yet released but, as far as I can, it works :+1:. The TLS implementation is not...

Currently, `docteur` implements its own block device. It's highly related to mirage/mirage-block#53. Indeed, we must have a `mmap` _syscall_ which is outside the `Lwt` monad. If it's the case, we...