Operating Systems of interest, especially embedded and/or open-source.
| Multics |
|---|
| Multics History |
| Multics Source and Listings |
| Multics on Wikipedia |
| Multicians |
| Multics Simulator |
| Minix |
|---|
| Minix |
| Zephyr |
|---|
| Zephyr Project |
| Google Fuchsia |
|---|
| Google Fuchsia |
| Overview of Fuchsia, a new operating system |
| Chromium Embedded Controller (EC) |
|---|
| Chromium-EC |
| L4 Microkernel |
|---|
| L4 Microkernel Family |
| L4 Microkernels: The Lessons from 20 Years of Research and Deployment |
| The seL4 Microkernel |
| Barrelfish |
|---|
| The Barrelfish Operating System |
| Trampoline |
|---|
| Trampoline – An OpenSource Implementation of the OSEK/VDX RTOS Specification |
| Trampoline on GitHub |
| TizenRT |
|---|
| TizenRT on GitHub |
| Tron |
|---|
| ITRON |
| T-Kernal |
| Tron Forum (specifications) |
| uITRON4.0 Specification ver. 4.03.00 |
| uT-Kernel 2.0 Specification |
| TNKernel |