Just out of curiosity, is there any project trying to port debian to minix3? Under: http://www.debian.org/ports/#nonlinux I don't see anything, but the might be a separate project around there... Thanks, -- Javier