I remember hacking on MINIX 2 (which is an entirely different (and tiny) codebase) in the university's Intro to OSes course to speed up the keyboard repeat rate on the physical MINIX PCs in the computer lab. Interestingly, the course now uses FreeBSD.
I remember hacking on MINIX 2 (which is an entirely different (and tiny) codebase) in the university's Intro to OSes course to speed up the keyboard repeat rate on the physical MINIX PCs in the computer lab. Interestingly, the course now uses FreeBSD.
I hope MINIX 4 or a similar project would:
- use seL4 as the kernel
- also be a Type-1 hypervisor (like Xen or ESXi)
- BSD-derived userland (as MINIX 3)
- port FreeBSD's Linux binary compatibility