K 10 svn:author V 6 marcel K 8 svn:date V 27 2011-11-17T15:51:03.059048Z K 7 svn:log V 250 Wire the kernel text RWX, rather than RX. We're not quite ready for having kernel text non-writable, because we still need to apply relocations. On top of that, the PBVM page table has all pages marked as RWX, so it's an inconsistency to begin with. END