Redox compatability
See what we can do about hosting Redox applications or drivers on Robigalia, and possibly vice versa.
Details
This is very open-ended, with many degrees of compatability possible. Redox claims to use a microkernel.
The first, hosting Redox applications on Robigalia. This should take the form of a Redox silo, with syscall translation making the application think it's running on a Redox kernel. Once we're a further along, this could make a good, self-contained student project.
The second, hosting Robigalia applications on Redox. I don't consider this worthwhile whatsoever.
Benefits
Redox currently has more inertia than Robigalia. Being able to run their applications somewhat-natively expands the amount of Rust applications runnable on Robigalia.
Drawbacks
Yet another silo kind, with a nontrivial amount of work needed.