diff options
| author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2015-08-31 20:28:57 +0200 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2015-08-31 20:28:57 +0200 |
| commit | 9d0f0b3391da1375363f0d545cab508247a962ae (patch) | |
| tree | 05c9e3b39381d0fe28b6f86dab9e50cb710fcb82 /kern/machine.h | |
| parent | cf99d571fb1cb77fbdf2cb84a0890835173b50af (diff) | |
Reserve 64k at beginning of memory, not just 4k
Linux does this to be extra careful with some BIOSes which apparently
spuriously write between 4k and 64k.
* i386/i386at/model_dep.c (RESERVED_BIOS): New macro.
(avail_next, mem_size_init, init_alloc_aligned): Use RESERVED_BIOS instead
of hardcoded 0x1000.
Diffstat (limited to 'kern/machine.h')
0 files changed, 0 insertions, 0 deletions