This paper examines L4's suitability as a basis for trustworthy embedded systems, motivates the use of a microkernel, introduces L4 in particular as an ...
確定! 回上一頁