diff options
| author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2012-05-05 13:02:05 +0200 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2012-05-05 13:03:05 +0200 |
| commit | fae22b238ae1ed14d9acb0f19e9912f1ea9f9b82 (patch) | |
| tree | ace46782801c78562edb322e6278e84c7f514861 | |
| parent | 1c9690b8dbe8a6fcf93d494a3afafb11492c2404 (diff) | |
Document how to offset the kernel to get better debugging
* i386/i386/vm_param.h (VM_MIN_KERNEL_ADDRESS): Document that it can be
changed, but _START has to be offset too.
(INIT_VM_MIN_KERNEL_ADDRESS): Document that it should remain 0.
| -rw-r--r-- | i386/i386/vm_param.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/i386/i386/vm_param.h b/i386/i386/vm_param.h index 4974c33a..2bcd084c 100644 --- a/i386/i386/vm_param.h +++ b/i386/i386/vm_param.h @@ -34,7 +34,12 @@ #define VM_MIN_KERNEL_ADDRESS 0xC0000000UL #define INIT_VM_MIN_KERNEL_ADDRESS VM_MIN_KERNEL_ADDRESS #else /* MACH_XEN */ +/* This can be changed freely to separate kernel addresses from user addresses + * for better trace support in kdb, but make sure that your machine has that + * much physical memory for GRUB to be able to map it, and offset the _START + * symbol by the same amount. */ #define VM_MIN_KERNEL_ADDRESS 0x00000000UL +/* This must remain 0 */ #define INIT_VM_MIN_KERNEL_ADDRESS 0x00000000UL #endif /* MACH_XEN */ |