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.

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

cribbed from intermezzos

for more depth