BabyOS: A fresh start

SIGCSE 2007: 38th SIGCSE Technical Symposium on Computer Science Education

Volumn , Issue , 2007, Pages 566-570

  Liu, Haifeng ^a   Chen, Xianglan ^a   Gong, Yuchang ^a  

^a UNIVERSITY OF SCIENCE AND TECHNOLOGY OF CHINA   (China)

Author keywords

Education; Operating systsems

Indexed keywords

COMPUTER HARDWARE; COMPUTER NETWORKS; CURRICULA; LEARNING SYSTEMS; SCHEDULING;

EDUCATIONAL OPERATING SYSTEM; PRELIMINARY LEARNING;

COMPUTER OPERATING SYSTEMS;

EID: 34748906514     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1227310.1227499     Document Type: Conference Paper

References (25)

1. B. Atkin and E. G. Sirer. Portos: An educational operating system for the post-pc environment. In Proc. of SIGCSE'02, pages 116 - 120.
2. Bochs. http://bochs.sourceforge.net.
3. D. Cheriton. The v distributed system. Commun. ACM, 31(3):314-333, 1988.
4. W. Christopher, S. Procter, and T. Anderson. The nachos instructional operating system. In Proc. of the 1993 Winter USENIX Conference, pages 479-488.
5. J. Dickinson. Operating systems projects built on a simple hardware simulator. In SIGCSE'00, pages 320-324.
6. DJGPP. www.delorie.com/djgpp/.
7. R. P. Draves. Using continuations to implement thread management and communication in operating systems. In Proc. of ACM Symposium on Operating Systems Principles (SOSP), pages 122-136, 1991.
8. A. Dunkels. The uip tcp/ip stack: http://www.sics.se/~adam/uip/.
9. B. Fide. Kernel development tutorial: http://osdever.net/bkerndev/.
10. B. Ford, M. Hibler, J. Lepreau, R. McGrath, and P. Tullmann. Interface and execution models in the fluke kernel. In OSDI '99: Proc. of the third symposium on Operating Systems Design and Implementation, pages 101-115.
11. D. Hilderbrand. An architecture overview of qnx. In Proc. of the USENIX Workshop on Micro-kernels and Other Kernel Architectures, pages 113-126, Apr. 1992.
12. D. A. Holland, A. T. Lim, and M. I. Seltzer. A new instructional operating system. In Proc. of SIGCSE'02, pages 111-115, 2002.
13. D. Hovemeyer, J. Hollingsworth, and B. Bhattacharjee. Running on the bare metal with geekos. In SIGCSE'04, pages 315-319, 2004.
14. Intel. Intel architecture software developer's manual, Volume 3. 1997.
15. C. L. Liu and J. W. Layland. Scheduling algorithms for multiprogramming in a hard-real-time environment. J. ACM, 20(1):46-61, 1973.
16. H. Liu. Babyos: http://sourceforge.net/projects/babyos-china/.
17. N. Manjikian. Educational applications and benefits of a compact multitasking kernel for microcontrollers. In Proc. of the 1999 Canadian Conference on Electrical and Computer Engineering, pages 421-426.
18. F. W. Miller. Simple memory protection for embedded operating system kernels. In USENIX 2002 Annual Technical Conference, Freenix Track, pages 299-308.
19. MINIX3, 2005. http://minix3.org.
20. NASM. http://nasm.sourceforge.net.
21. L. Sgro. Kernel toolkit: http://www.global.village.it/~gigio/index.htm.
22. A. S. Tanenbaum and A. S. Woodhull. Operating Systems: Design and Implementation, second edition. Prentice Hall, 1997.
23. A. S. Tanenbaum and A. S. Woodhull. Operating Systems Design and Implementation, 3/E. Prentice Hall, 2006.
24. H. Thane, A. Pettersson, and D. Sundmark. The asterix realtime kernel. In Proc. of the 13th Euromicro Conference on Real-Time Systems, 2001.
25. K. M. Zuber, P. Pillai, and K. G. Shin. Emeralds: a small-memory real-time microkernel. In SOSP'99, pages 277-291.