- Home
- System types
- microkernel
microkernel
4 operating systems
| Operating system | Developer | First release | License |
|---|---|---|---|
| FreeRTOS | — | 2003 | MIT License |
| MINIX 3 | Andrew S. Tanenbaum | — | BSD licenses |
| MonaOS | — | — | MIT License |
| Redox | Jeremy Soller | — | MIT License |
| Operating system | Developer | First release | License |
|---|---|---|---|
| FreeRTOS | — | 2003 | MIT License |
| MINIX 3 | Andrew S. Tanenbaum | — | BSD licenses |
| MonaOS | — | — | MIT License |
| Redox | Jeremy Soller | — | MIT License |