I've always though TempleOS would be perfect for open hardware, like the Raspberry Pi. Would you ever consider porting it to ARMv7/8?
https://www.olimex.com/Products/OLinuXino/open-source-hardwa...
That said, TempleOS on anything but standard PC hardware would be interesting to see.