Author:
GU Jinyu,LI Hao,XIA Yubin,GUAN Haibing,DING Zuohua,ZHAO Yongwang,CHEN Haibo
Publisher
Science China Press., Co. Ltd.
Reference44 articles.
1. Weiser M. The computer for the 21st century. Sci Am, 1991, 265: 94--105.
2. Mei H, Guo Y. Toward Ubiquitous Operating Systems: A Software-Defined Perspective. Computer, 2018, 51: 50-56.
3. Hildebrand D. An architectural overview of QNX. In: Proceedings of USENIX Workshop on Microkernels and Other Kernel Architectures, 1992.
4. Swapnil B. Linux in 2020: 27.8 million lines of code in the kernel, 1.3 million in systemd. [2024-01-16]. https://www.linux.com/news/linux-in-2020-27-8-million-lines-of-code-in-the-kernel-1-3-million-in-systemd.
5. Elphinstone K, Heiser G. From L3 to seL4 what have we learnt in 20 years of L4 microkernels? In: Proceedings of the 24th ACM Symposium on Operating Systems Principles, 2013.