Kernel extension verification is untenable.

Jinghao Jia, Raj Sahu, Adam Oswald, Dan Williams, Michael V. Le, Tianyin Xu

Browse the full HotOS paper archive.