Patching the Secure Kernel to enable debugging of VTL1 Isolated User Mode - View it on GitHub