Domain Isolated Kernel: A
lightweight sandbox for untrusted
kernel extensions (PDF)
Valentin J.M. Manès, Daehee Jang, Chanho Ryu, Brent Byunghoon Kang
Computers & Security, 2018
I will try to write about stuff I did that I think are not so well documented.
This way it will be easier for other (and myself) to reproduce later on.
Compiling Linux Kernel with Clang
It can be interesting to compile the Linux kernel with clang to access
features only accessible with clang like sanitizers (although atm KASAN
is said to be better supported with GCC) or kcov for comparisons.