K 10
svn:author
V 5
tegge
K 8
svn:date
V 27
1997-06-24T17:26:07.000000Z
K 7
svn:log
V 120
Ensure that the boot CPU honours write protection in kernel mode.
This fixes one of the problems noted in PR kern/3688.

END