Or if you're using Linux. Or OSX. seL4 users are safe though, mostly because their computers don't do anything useful.