The Kernelized Secure Operating System (KSOS)