Template:Teaching OS
| System | Lines of code | Kernel type | Language | Hardware environment | Lacks (vs others) |
|---|---|---|---|---|---|
| Minix 1 | ~12k | Microkernel | C | x86-16 | ? |
| Minix 2 | ~23k | Microkernel | C | x86-32 | ? |
| Minix 3 | ~100k+ | Microkernel | C | x86-32 | N/a |
| Nachos | ~15k | No kernel. User-space OS simulator | C++ | MIPS simulator | SMP, paging, real hardware |
| Pintos | ~25k | Monolithic | C | x86 (typically under QEMU/Bochs) | SMP, user-space drivers |
| Xinu | ~10k | Monolithic | C | x86 / ARM | SMP, paging, virtual memory |
| xv6 | ~10k | Monolithic | C | x86 / x86-64 / RISC-V | user-space drivers, POSIX layer |
Template documentation | This template's documentation is missing, inadequate, or does not accurately describe its functionality or the parameters in its code. Please help add, expand, or improve it. |