4 ms·
Other active seL4 users include Real-Time Innovations (autonomous systems), Cog Systems (connected devices), Raytheon (defense/aerospace), DornerWorks (IoT/medi
by saithound 5y ago
Other active seL4 users include Real-Time Innovations (autonomous systems), Cog Systems (connected devices), Raytheon (defense/aerospace), DornerWorks (IoT/medical), Ghost (self-driving cars), Penten (communications securty).