I don't believe Redox fits the bill for this--so far, the kernel is only written to support x86 architectures at the moment. I do think there's been a couple of

I don't believe Redox fits the bill for this--so far, the kernel is only written to support x86 architectures at the moment. I do think there's been a couple of Redox Summer of Code students who have been funded to work on porting it to ARM over the last couple of years, although I don't think they've pushed it over the goal line. The BDFL seems to mainly work on x86 (he's at System76, and I don't think they have any ARM offerings at the moment), so not sure how much of a priority that is at the moment.