Experiences with the ChCore Experimental Operating System Kernel
Abstract
ChCore is an experimental operating system kernel built from the ground up for both education and research. Compared to other similar kernels, ChCore is unique in three aspects: 1) ARM-centric in light of a recent shift of computing from x86 to ARM; 2) microkernelbased given a resurgent interest in microkernel from industry; 3) bimodal for both education and research such that students can easily switch from learning to researching. This paper will describe our five-year experiences in teaching and experimenting operating systems with ChCore.
Fields of Study & Subjects
Parallel Computing and Optimization Techniques
Security and Verification in Computing
Teaching and Learning Programming
Publication details
- Journal / source
- Proceedings of the 57th ACM Technical Symposium on Computer Science Education V.1
- Publisher
- ACM
- Pages
- 197–203
- Publication date
- 13 February 2026