> I don't know if I'm vulnerable or not
Are you using Windows? If so, then yes.
Or if you're using Linux. Or OSX. seL4 users are safe though, mostly because their computers don't do anything useful.
Or if you're using Linux. Or OSX. seL4 users are safe though, mostly because their computers don't do anything useful.