K 10
svn:author
V 2
dg
K 8
svn:date
V 27
1994-09-02T01:29:20.000000Z
K 7
svn:log
V 204
It's not necessary to make page tables write-through, so get rid of this
(this was an experimental change which probably shouldn't have been
committed). I/O pages are still marked non-cacheable, however.

END