diff --git a/repos/base-codezero/config/vpb926.cml b/repos/base-codezero/config/vpb926.cml index 2629c72d01..202273fbe6 100644 --- a/repos/base-codezero/config/vpb926.cml +++ b/repos/base-codezero/config/vpb926.cml @@ -98,7 +98,7 @@ CONFIG_CONT0_BAREMETAL_PROJ_IPC_DEMO=n # # Container 0 Pager Linker Parameters # -CONFIG_CONT0_PAGER_LMA=0x40000 +CONFIG_CONT0_PAGER_LMA=0x41000 CONFIG_CONT0_PAGER_VMA=0x100000 @@ -106,7 +106,7 @@ CONFIG_CONT0_PAGER_VMA=0x100000 # Container 0 Pager Physical Memory Regions (Capabilities) # CONFIG_CONT0_PAGER_PHYSMEM_REGIONS=1 -CONFIG_CONT0_PAGER_PHYS0_START=0x40000 +CONFIG_CONT0_PAGER_PHYS0_START=0x41000 CONFIG_CONT0_PAGER_PHYS0_END=0x4000000 @@ -231,7 +231,7 @@ CONFIG_CONT3_PAGER_LOAD_ADDR=0x3100000 CONFIG_SUBARCH_V5=y CONFIG_SUBARCH_V7=n CONFIG_SUBARCH_V6=n -CONFIG_CONT0_PAGER_LOAD_ADDR=0x40000 +CONFIG_CONT0_PAGER_LOAD_ADDR=0x41000 CONFIG_CONT0_PAGER_VIRT_ADDR=0x100000 CONFIG_CONT3_PAGER_VIRT_ADDR=0xd0000000 CONFIG_CONT0_START_PC_ADDR=0x100000 diff --git a/repos/base-codezero/doc/codezero.txt b/repos/base-codezero/doc/codezero.txt index dabcbf06d6..eddbae9e32 100644 --- a/repos/base-codezero/doc/codezero.txt +++ b/repos/base-codezero/doc/codezero.txt @@ -215,7 +215,7 @@ The default configuration for the VersatilePB926 platform as found at 'base-codzero/config/vpb926.cml' is paramaterized as follows: :Default pager parameters: -! 0x40000 Pager LMA +! 0x41000 Pager LMA ! 0x100000 Pager VMA These values are important because they are currently hard-wired in the linker script used by Genode. If you need to adopt these values, make @@ -224,9 +224,9 @@ sure to also update the Genode linker script located at :Physical Memory Regions: ! 1 Number of Physical Regions -! 0x40000 Physical Region 0 Start Address +! 0x41000 Physical Region 0 Start Address ! 0x4000000 Physical Region 0 End Address -We only use 64MB of memory. The physical memory between 0 and 0x40000 is +We only use 64MB of memory. The physical memory between 0 and 0x41000 is used by the kernel. :Virtual Memory Regions: diff --git a/repos/base-codezero/src/platform/genode.ld b/repos/base-codezero/src/platform/genode.ld index ac7a29f57f..43cd1ceb4b 100644 --- a/repos/base-codezero/src/platform/genode.ld +++ b/repos/base-codezero/src/platform/genode.ld @@ -21,7 +21,7 @@ * the Codezero build system. */ vma_start = 0x100000; -lma_start = 0x40000; +lma_start = 0x41000; offset = vma_start - lma_start;