The L4 MicroKernel family. See http://os.inf.tu-dresden.de/L4/overview.html. "Kernels based on the L4 ApplicationProgrammingInterface are second-generation ...
確定! 回上一頁