Hacker News new | ask | show | jobs
by snvzz 733 days ago
Besides what others pointed out, Minix3 is engineered for fault tolerance foremost. seL4 has different goals.