koanhead wrote at 2014-09-16 19:15 -0500: > Lest we forget, you can have FreeBSD *and* Debian at the same time: > > https://www.debian.org/ports/ > > Specifically, https://www.debian.org/ports/kfreebsd-gnu/ - but if you > get tired of the ease-of-use and hardware support of kFreeBSD, there's > always the HURD: https://www.debian.org/ports/hurd/
Don't forget about Minix, a microkernel with NetBSD userspace, more mature than the HURD, with some really nice features! http://www.minix3.org/other/reliability.html http://www.minix3.org/docs/jorrit-herder/osr-jul06.pdf http://www.minix3.org/other/research.html -- To UNSUBSCRIBE, email to debian-user-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: https://lists.debian.org/20140917150834.GG5460@swansys
