Applied to the operating system, this argues for a small microkernel as the core of the TCB, with OS services separated into mutually-protected ...
確定! 回上一頁