marcel 6d664ed7cb 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	Wire the kernel text RWX, rather than RX. We're not quite ready	2011-11-17 15:51:03 +00:00
efi	o Bump the EFI loader version to 3.1.	2011-06-07 00:59:31 +00:00
ski	Use the new arch_loadaddr I/F to align ELF objects to PBVM page	2011-04-03 23:49:20 +00:00
Makefile
Makefile.inc