Hacker News new | past | comments | ask | show | jobs | submit
Or if you're using Linux. Or OSX. seL4 users are safe though, mostly because their computers don't do anything useful.