introducing redox OS, briefly 2020-02-18
Notes for my short talk at TechLancaster
what is it?
Redox is a free and open source operating system project led by Jeremy Soller and 23 core contributors.
- started circa 4/2015
- Soller is the the BDFL (Benevolent Dictator For Life!)
why write a new OS?
- microkernel design
- security
- liberal libre
- MIT/X11 licensing over GPL2 to encourage innovation
- Rust as integral design choice
- theories are nice, but implementations decide whether a system is secure or not
ok, what is a microkernel?
Smaller. A lot of the functionality that’s typically in the kernel is in userspace instead.
- everything that is not the kernel is userspace or userland