diff options
author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2012-03-18 17:07:37 +0100 |
---|---|---|
committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2012-03-18 17:07:37 +0100 |
commit | 853730f7faa8f59795e8e0e811864deae279314f (patch) | |
tree | c2377ea2e408f7a64baf037e2880408d5f0095a0 /doc/mach.texi | |
parent | ef34957f80c8b973a064cb677d6d29a65711ca6b (diff) |
Set Xen kernel virtual address to 0xC0000000
That makes the virtual addressing equal to linear addressing, thus optimizing
some computations away.
* i386/i386/vm_param.h (VM_MIN_KERNEL_ADDRESS) [MACH_XEN]: Set to
0xC0000000UL.
* i386/xen/Makefrag.am (gnumach_LINKFLAGS): Set _START to 0xC0000000.
* i386/xen/xen_boothdr.S (VIRT_BASE, ELF_PADDR_OFFSET): Set to 0xC0000000.
Diffstat (limited to 'doc/mach.texi')
0 files changed, 0 insertions, 0 deletions