6 ms·

We have rovers on Mars and satellites and probably nuclear warheads using RTOS of all kinds and in cases even Linux, but sure seL4 is the only OS conceivable fo

We have rovers on Mars and satellites and probably nuclear warheads using RTOS of all kinds and in cases even Linux, but sure seL4 is the only OS conceivable for those cases, obviously ! This is a case of fraud, industrial malfeasance and just plain dishonesty. The software component of the story and its security measures are not even at play. Sure they are probably shit (given the date parsing ...) but even FreeRTOS would make an amazing OS *IF USED PROPERLY *.

snvzz 3y ago
>using RTOS of all kinds and in cases even Linux Absolutely, and thus there's obvious room for improvement. >This is a case of fraud, industrial malfeasance and just plain dishonesty. In practice, this amounts to critical infrastructure sabotage, which fits into terrorism. If the train network experiences issues, the whole country is impacted.