yomimono

Can we rename "pioneer projects"? While the alliteration is attractive, the meaning is a bit muddy. I think the intent is that these are projects with well-defined boundaries, which someone...

What we have at "contributing to MirageOS" isn't a code of conduct by any means, but rather a set of instructions for reporting issues, submitting changes, and reaching out to...

Also, thanks very much @GemmaG for submitting this issue -- these are important issues for us to address, and I appreciate your effort in compiling them and all the work...

A lot of these are still good ideas! Can we get an update from @avsm and @GemmaG about which of them are addressed in the forthcoming `bushel` and which could...

There are several specific things in this issue which are no longer timely. Smaller issues for those items which are still relevant in `mirage-www` would be really helpful -- anyone...

It's possible to change switches just within the context of one terminal window, so the mutual exclusivity of backends per-switch isn't necessarily a problem for the workflow @sgrove describes. Tagging...

Yes. See [the OPAM FAQ](https://opam.ocaml.org/doc/FAQ.html), and search for `different switches` (couldn't find any anchors in that page, or I'd link you directly).

@sgrove would `mirage configure -t virtio` generating a `Makefile.virtio` be sufficient? That's `make -f Makefile.virtio` rather than `make virtio`, but still a lot better than everything stomping over everything else.

I'd been thinking of namespacing like `key_gen_BACKEND.ml` and `main_BACKEND.ml` as @hannesm described above, but subdirectories are indeed probably better for the reasons you've both mentioned. I personally forgot that `mirage...

`mirage-net-unix` should be tested at least by `network` (and really by anything using `default_network`) when MODE=unix. This works locally; does it not happen in Travis somewhere that you could point...