This may be of interest: http://www.gnu.org/software/hurd/hurd.html Cheers, Jason.--On Thursday, September 14, 2000 14:50 +0200 Leen Besselink <leen@wirehub.nl> wrote:
btw: Is it possible to switch kernels without rebooting. I cannot believe that's possibleActually, I think someone was working on that. Well, first he wants to make it so you can build an other kernel in userspace or something (this is already possible with special kernels). I think Solaris can actually do that, update a running kernel. -- Unsubscribe? mail -s unsubscribe debian-user-request@lists.debian.org < /dev/null