Porcupine OS is a safety-critical, real-time operating system