For anyone unfamiliar with Minix, it appears to be a tiny OS: > MINIX 3 is a free, open-source, operating system designed to be highly reliable, flexible, and

For anyone unfamiliar with Minix, it appears to be a tiny OS: > MINIX 3 is a free, open-source, operating system designed to be highly reliable, flexible, and secure. It is based on a tiny microkernel running in kernel mode with the rest of the operating system running as a number of isolated, protected, processes in user mode. It runs on x86 and ARM CPUs, is compatible with NetBSD, and runs thousands of NetBSD packages.[1] Something about this [2] made me feel bad for the author, I can't imagine building software for a few decades, getting excited about a conference and then no one submitting any papers. [1] http://www.minix3.org/ http://www.minix3.org/ [2] > Unfortunately, the MINIXCon 2017 conference had to be cancelled due to the small number of talks submitted