Hacker News new | ask | show | jobs
by snvzz 2982 days ago
I can't understand not using eChronos, seL4 or RTEMS.