Hacker News new | ask | show | jobs
by snvzz 534 days ago
Let me guess. The telcos didn't use seL4.