Kernel Project
This page has information for David, Lan, and Jun's ECE371-RI class
project from Spring 1999. The goal of the project is to build an
operating system with feature to support a testbed for certain fault
tolerant features.
The links describes the goals for the
project and timeline.
Weekly progress reports are online.
Micro Kernel References
Univ. of Arizona a good
list of references of available kernels.
- Choices, UIUC
- Exokernel, MIT
- ChorusOS, Sun Microsystems
- fluxOS,
Univ. of Utah
- QNX, QNX Software Systems Ltd.
- VSTa
- Lynx, Lynx Real-Time Systems, Inc.
- HURD, FSF
- Real Time Linux,
Univ. of New Mexico
- EROS, Univ. of Penn.
Summaries of Microkernels
See me email if you have any comments, suggestions, or updates dstott@crhc.uiuc.edu.