4 ms·
It's probably have to be seL4 (https://sel4.systems https://sel4.systems), running on some fully OSS hardware. There are question marks over much of available
by justinclift 3y ago
It's probably have to be seL4 (https://sel4.systems https://sel4.systems), running on some fully OSS hardware.
There are question marks over much of available RISC-V chips due to chinese producers, so maybe OpenPower based hardware?
Plus, the entire system (motherboard, etc) would need to be manufactured using a good supply chain.
Hmmm, this has probably all been thought through in depth before by others. :)