NetBSD is probably my favorite BSD. I like its focus on simplicity and portability. I also like pkgsrc a lot more than ports. I appreciate that pkgsrc is portable beyond BSD, too - Minix uses it. Nice work, folks :)
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