4 ms·

It's not decades away! Check out https://sel4.systems https://sel4.systems.

• cmrx64 11y ago
  And, relatedly, https://robigalia.org/ https://robigalia.org/
• deleted 11y ago
  [deleted]