I am Jeremy Soller, the creator of Redox OS, please let me know if you have questions!
Is there a port of Redox OS which runs under xen as a guest OS (paravirtual or otherwise)?
Lots of tiny OSes, such as Minix, have been ported to this environment and I think this could be a fun way to run Redox while leveraging the broad device support of a traditional Linux Kernel.
Thanks!
What does work is pretty cool though. Ethernet, input, non-accelerated graphics, nvme and ahci storage
Do you plan to ship it on System76 laptops when it's eventually ready? Or do you see this more as a hobby / exploratory project?