mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 12:32:56 +01:00
committed by
Christian Helmuth
parent
d37f32fb21
commit
8bc4389411
@@ -256,7 +256,7 @@ int main()
|
||||
static Rm_root rm_root (&ep, &sliced_heap, pager_ep);
|
||||
static Cpu_root cpu_root (&ep, &ep, &pager_ep, &sliced_heap,
|
||||
Trace::sources());
|
||||
static Pd_root pd_root (ep, pager_ep, *platform()->ram_alloc(),
|
||||
static Pd_root pd_root (ep, ep, pager_ep, *platform()->ram_alloc(),
|
||||
local_rm, sliced_heap,
|
||||
*platform_specific()->core_mem_alloc());
|
||||
static Log_root log_root (&ep, &sliced_heap);
|
||||
|
||||
Reference in New Issue
Block a user