4 ms·
Nevermind malware, not using seL4 should already be a crime in this context.
by snvzz 3y ago
Nevermind malware, not using seL4 should already be a crime in this context.
- aneutron 3y agoWe 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.
- yjftsjthsd-h 3y agoThat seems totally orthogonal; seL4 can run a program that checks GPS and sabotages the system just like anything else.
- deleted 3y ago[deleted]