Microkernel and OS experiments
Sep 17, 2025
·
1 min read
Experiments and study around microkernel-based operating systems, user-space system components, and performance-oriented OS research infrastructure.
This area includes original systems tooling alongside careful study and experimentation with forked or reference projects such as CXLOS, Amkos, lionsos, seL4, pmbench, and lkp-tests. Forked repositories are treated as research context rather than claimed as original projects.
Authors
Ph.D. Student in Computer Science
Yingqi Jie is a Ph.D. student at Shanghai Jiao Tong University, advised by Prof. Linpeng Huang and Prof. Sheng’an Zheng. His current work focuses on Linux kernel memory management, memory tiering, NUMA-aware page migration, and evidence-driven systems performance analysis, with prior research experience in microkernel-based operating systems, computer graphics, and AI.