MINIX 3 specifically, a microkernel research OS with a NetBSD userland that was focused more on research and less on teaching. If Intel had any sense or were t

MINIX 3 specifically, a microkernel research OS with a NetBSD userland that was focused more on research and less on teaching. If Intel had any sense or were to revisit this area in the future, they probably should've selected a RTOS in the L4-family OS like seL4 that was formally-verified or went with negotiating a special deal on INTEGRITY-178B because this OS would be widely deployed on both billions of individual devices and on critical infrastructure. MINIX 2 was a completely different OS. It was extremely simple and modeled after UNIX similar to Linux, but much more minimal. It was so minimal that the fundamental parts of the i386 protected mode kernel code were printed in their entirety in Andrew S. Tanenbaum's & Albert S. Woodhull's book.[0] In an operating systems course, I recall patching a university cluster machine running MINIX 2 to adjust the keyboard controller's repeat rate to the maximum. If you wanted more granular control over keyboard input, you could write an (real or protected mode, depending) interrupt handler to only look for make and break codes of individual keys and then report them at whatever rate you wanted to however your operating system accepted input events. Breakdowns in how this and how real hardware works is typically an explanation for duplicate or missing keypresses occur under virtualization, such as when a user task switches to and from a VM console on another machine during a virtualized key down state. 0. Operating Systems: Design and Implementation Second Edition, 1997, Tanenbaum & Woodhull, ISBN-10: 0136386776 https://minix1.woodhull.com/osdi2/ https://minix1.woodhull.com/osdi2/