Marcel Moolenaar 1e6ca2a464 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.		2011-11-17 15:51:03 +00:00
..
common
efi
ski
Makefile
Makefile.inc