Genp Linux -
Is it overkill for a web server? Absolutely. Is it essential for a self-driving car’s brake controller? Probably yes.
: If you’re curious, grab the LITMUS^RT kernel (which implements resource partitioning) or look into the PikeOS hypervisor’s Linux guest partitioning. genp linux
Here’s a simplified architecture:
// Do deterministic work...