L4 is a family of second-generation microkernels, used to implement a variety of types of ... F9 microkernel, a BSD-licensed L4 implementation, is dedicated to ARM ...
確定! 回上一頁