Anil Madhavapeddy
Anil Madhavapeddy
@msprotz just one thing is missing from your generated bindings: dune files. If you have those, then dune takes care of passing all the various cross compilation runes we need....
Thanks for the details. I think a hybrid build system as you describe makes most sense. The OCaml `dune` file is fairly straightforward; you just specify the names of the...
This should probably use the win-error package too.
The only reason we don't have a specific malloc-backed IO data type is that the compiler primitives for efficiently marshalling/unmarshalling uint8/16/24/32 with BE/LE support only work on either Bigarray or...
I think we can make a non-moving `byte` work with mmap -- over a certain size, they are slab allocated (and therefore can be suitably aligned), and under a certain...
> The problem is that the byte block's header needs to go just before the start of the mmap area Right, but we've had this working before (in MirageOS 1)...
Calling it a Queue does seem clearer (especially that it's a domain-safe FIFO structure). Rust's [concurrency-queue](https://crates.io/crates/concurrent-queue) separates out unbounded from bounded ones. In our Stream's case, the implementation of a...