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 /xen/public | |
| 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 'xen/public')
0 files changed, 0 insertions, 0 deletions