Communications of the ACM
Using continuations to implement thread management and communication in operating systems
SOSP '91 Proceedings of the thirteenth ACM symposium on Operating systems principles
Operating systems (2nd ed.): design and implementation
Operating systems (2nd ed.): design and implementation
Interface and execution models in the Fluke kernel
OSDI '99 Proceedings of the third symposium on Operating systems design and implementation
EMERALDS: a small-memory real-time microkernel
Proceedings of the seventeenth ACM symposium on Operating systems principles
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
Journal of the ACM (JACM)
Operating systems projects built on a simple hardware simulator
Proceedings of the thirty-first SIGCSE technical symposium on Computer science education
A new instructional operating system
SIGCSE '02 Proceedings of the 33rd SIGCSE technical symposium on Computer science education
PortOS: an educational operating system for the Post-PC environment
SIGCSE '02 Proceedings of the 33rd SIGCSE technical symposium on Computer science education
Simple Memory Protection for Embedded Operating System Kernels
Proceedings of the FREENIX Track: 2002 USENIX Annual Technical Conference
An Architectural Overview of QNX
Proceedings of the Workshop on Micro-kernels and Other Kernel Architectures
Running on the bare metal with GeekOS
Proceedings of the 35th SIGCSE technical symposium on Computer science education
Operating Systems Design and Implementation (3rd Edition)
Operating Systems Design and Implementation (3rd Edition)
Using iPodLinux in an introductory OS course
Proceedings of the 39th SIGCSE technical symposium on Computer science education
An experimental laboratory environment for teaching embedded operating systems
Proceedings of the 39th SIGCSE technical symposium on Computer science education
Build an operating system from scratch: a project for an introductory operating systems course
Proceedings of the 40th ACM technical symposium on Computer science education
Teaching about threading: where and what?
ACM SIGACT News
VIREOS: an integrated, bottom-up, educational operating systems project with FPGA support
Proceedings of the 42nd ACM technical symposium on Computer science education
Teaching operating systems using android
Proceedings of the 43rd ACM technical symposium on Computer Science Education
Supporting operating systems projects using the μMPS2 hardware simulator
Proceedings of the 17th ACM annual conference on Innovation and technology in computer science education
| Hi-index | 0.00 |
In this paper, we present BabyOS, a compact educational kernel designed to facilitate the preliminary learning of operating systs. It is an in-mory syst running on real hardware, with a multi-phase project covering concurrency, scheduling, inter-process communication, mory management, and networking. Compared with other educational operating systs, BabyOS is a nontraditional project frame; an important distinction lies in that it reflects some design ideas in bedded operating systs. In this way, BabyOS provides a complentary approach to educational operating syst projects.