K 10
svn:author
V 6
cognet
K 8
svn:date
V 27
2004-12-05T22:46:59.000000Z
K 7
svn:log
V 93
Do not change the page directory and do not flush the TLB when switching to
a kernel thread.

END