From bce4fa95315c6af72f1748a71ae5c3b7f05a73e6 Mon Sep 17 00:00:00 2001 From: Christian Helmuth Date: Tue, 19 Feb 2019 18:13:22 +0100 Subject: [PATCH] sel4: user virtual-memory size of 8 GiB on 64-bit --- repos/base-sel4/src/core/platform.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/repos/base-sel4/src/core/platform.cc b/repos/base-sel4/src/core/platform.cc index d8c258f7e..289fdaf09 100644 --- a/repos/base-sel4/src/core/platform.cc +++ b/repos/base-sel4/src/core/platform.cc @@ -500,7 +500,7 @@ Platform::Platform() _unused_virt_alloc(&core_mem_alloc()), _init_unused_phys_alloc_done((_init_unused_phys_alloc(), true)), _vm_base(0x2000), /* 2nd page is used as IPC buffer of main thread */ - _vm_size(3*1024*1024*1024UL - _vm_base), /* use the lower 3GiB */ + _vm_size((CONFIG_WORD_SIZE == 32 ? 3 : 8 )*1024*1024*1024UL - _vm_base), _init_sel4_ipc_buffer_done((init_sel4_ipc_buffer(), true)), _switch_to_core_cspace_done((_switch_to_core_cspace(), true)), _core_page_table_registry(_core_page_table_registry_alloc),