portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

pc99: Use kernelBase in linker script

Browse source
This commit is contained in:
Kofi Doku Atuah 2019-01-22 17:20:12 +11:00 committed by Anna Lyons
parent 1b2dd997b8
commit 2352855213
2 changed files with 3 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
include/plat/pc99/plat/32/plat_mode/machine/hardware.h
View file

@ -19,7 +19,8 @@
#define PADDR_LOAD 0x00100000
#define PPTR_BASE 0xe0000000
#define PPTR_USER_TOP (PPTR_BASE & (~MASK(seL4_LargePageBits)))
/* The mask here, 0xFFC00000 represents the mask for a 4MiB page. */
#define PPTR_USER_TOP (PPTR_BASE & (0xFFC00000))
/* Calculate virtual address space reserved for TLB Bitmap. ROOT_ENTRIES
* will be zero in the case where the bitmap is unused */

2
src/plat/pc99/linker.lds
View file

@ -16,7 +16,7 @@ ENTRY(_start)
CHIPSET_BASE_PADDR = 0x00000000;
KLOAD_PADDR = 0x00100000;
KLOAD_VADDR = 0xe0000000;
KLOAD_VADDR = kernelBase;
/* WARNING: constants also defined in plat/machine/hardware.h */
#if defined(CONFIG_ARCH_IA32)