Is Minix more robust because it is microkernel?
J. Kinoshita, H.T. Omoto, P. d'A F.F. de S. Barbuda, Walter Lau Neto · IEEE Latin America Transactions · 2011
In 2006, professor Tanenbaum released Minix3 with a new book and papers supporting that drivers running as processes in user mode made Minix, a microkernel operating system, more reliable than monolithic operating systems. We tested Minix3 in a operating system course at University of Sao Paulo University and unfortunately, we were able to deadlock the system after inserting a bug in a driver. Based on this problem, we make some considerations about performance and reliability in Minix3.