[4ad]

OpenBSD is much simpler than NetBSD these days, but NetBSD now has rump kernels which are very interesting: http://www.netbsd.org/docs/rump/