From acd7a2f1c414109888f5513df9188d7a595510c1 Mon Sep 17 00:00:00 2001 From: Norman Feske Date: Wed, 13 May 2015 11:25:11 +0200 Subject: [PATCH] sel4: reserve virt page for main-thread IPC buffer --- 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 f1624ce590..0688d0b16f 100644 --- a/repos/base-sel4/src/core/platform.cc +++ b/repos/base-sel4/src/core/platform.cc @@ -341,7 +341,7 @@ Platform::Platform() _irq_alloc(core_mem_alloc()), _unused_phys_alloc(core_mem_alloc()), _init_unused_phys_alloc_done((_init_unused_phys_alloc(), true)), - _vm_base(0x1000), + _vm_base(0x2000), /* 2nd page is used as IPC buffer of main thread */ _vm_size(2*1024*1024*1024UL - _vm_base), /* use the lower 2GiB */ _init_allocators_done((_init_allocators(), true)), _init_sel4_ipc_buffer_done((init_sel4_ipc_buffer(), true)),