Do we know that the kernel used in OSX is vulnerable at all? I haven’t found any discussion of it.