Revisiting the Arm Debug Facility for OS Kernel Security | IEEE Conference Publication | IEEE Xplore