K 10 svn:author V 3 phk K 8 svn:date V 27 2002-09-13T13:13:00.000000Z K 7 svn:log V 221 Overhaul the kernel-simulation bits here to use pthreads instead. If somebody wanted to, this could for the beginning of a "libkernel" which could be used to run kernel code in userland. Sponsored by: DARPA & NAI Labs. END