"safe subsets of Java or Ada running right on the kernel to implement specific components more safely. " "a safe subset of Java or Ada in the kernel." Done he

"safe subsets of Java or Ada running right on the kernel to implement specific components more safely. " "a safe subset of Java or Ada in the kernel." Done here since you're arguing against points Im not making. For anyone your strawman confused, the specific components are user-mode apps running on a separation kernel to minimize privilege. Not just piles of extra code in some kernel.