ehmry/genode
ehmry
/
genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

hw: don't preserve mmio of core devices 

Fixes #1269
This commit is contained in:
Norman Feske 2014-09-20 22:36:08 +02:00
parent d7c2a5cd7f
commit d59d3c684f
1 changed files with 14 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
repos/base-hw/src/core/platform.cc
View File

@ -87,6 +87,19 @@ static void init_alloc(Range_allocator * const alloc,
}
/**
* Helper to initialise allocators through include region lists
*/
static void init_alloc_core_mmio(Range_allocator * const alloc,
Region_pool incl_regions)
{
/* make all include regions available */
Native_region * r = incl_regions(0);
for (unsigned i = 0; r; r = incl_regions(++i))
alloc->add_range(r->base, r->size);
}
/**************
** Platform **
**************/
@ -144,7 +157,7 @@ Platform::Platform()
* core. Using byte granuarlity allows handing out the MMIO page to trusted
* user-level device drivers.
*/
init_alloc(&_io_mem_alloc, _mmio_regions, _core_only_mmio_regions, 0);
init_alloc_core_mmio(&_io_mem_alloc, _mmio_regions);
/* add boot modules to ROM FS */
Bm_header * header = &_boot_modules_headers_begin;