Calascibetta Romain

Yes, to clarify, my intention is mainly to be a source of ideas and then to open a discussion on what can be proposed and what should not be. I...

Hi, currently, only the `miou` layer of `mirage-crypto{,-rng}` is domain safe. We made the [`Pfortuna`](https://github.com/mirage/mirage-crypto/blob/main/rng/miou/pfortuna.ml) module which uses a lock mechanism to be sure the exclusivity to get values from...

> I agree with you that we should improve the documentation regarding mirage-crypto-rng and OCaml 5 - there is a question but we have not, at this stage, found any...

Thanks for the ping, the `builder-web` infrastructure was shutdown (for unknown reason). It should be available now :+1:.

Come back, I realized that `builder-web` has another bug and the recent release of [esperanto](https://github.com/dinosaure/esperanto) was not able to compile bob anymore. Now, everything was back to the normal thing,...

I need to check but I'm currently on several fronts and mostly about on `utcp`. It's hard to bisect the true bottleneck between unikraft/solo5. I need to check also if...

I'm really not sure about that, we should really look into the expected behavior between reading on a TAP interface and what the unikernel expect. I would really like to...

> One function Sys.file_type returning an element of type file_kind = Inexistant | Regular | Diretory | Other could be more efficient. It seems that `simple_httpd` depends on `unix`, would...

> Functions like Sys.is_directory in the Sys module could be rewritten using raw_stats and allocating less data. In this respect, you need to be aware that the constraints on the...

@hannesm points me about tags, I will look into it but it's probably good to add into the documentation that a created source is kept forever.