摘要:本文是对微内核操作系统及 L4 的发展历程和主要功能的综述。本文还对微 内核操作系统的优缺点及发展前景发表评论。 关键词:微内核,操作系统,L4 Abstract: This paper describes the history of microkernel-based operating systems, and the structure and main functions of L4. It also discusses the pros and cons of microke
This is the original L4 API as implemented in Liedtke's assembly kernels. The API supports 64 bit thread IDs with subfields containing (among other things) the thread number, task number, chief number, and version number. The chief field of the thre
