"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.
"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.