ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-06-20 16:10:29 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

sel4: convert io memory on demand

Browse Source 
instead all during boot. On x86 and qemu this takes quite a while until
the system is booted.

Fixes #4913
This commit is contained in:
Alexander Boettcher
2023-05-30 16:44:03 +02:00
committed by Norman Feske
parent 97bf616b5b
commit b349dd9c0a
10 changed files with 20 additions and 16 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
repos/base/src/core/include/io_mem_session_component.h
View File

@ -112,7 +112,7 @@ class Core::Io_mem_session_component : public Rpc_object<Io_mem_session>
*
* Both parameters - base and size - must be page-aligned.
*/
void _unmap_local(addr_t base, size_t size);
void _unmap_local(addr_t virt_base, size_t size, addr_t phys_base);
public:

2
repos/base/src/core/io_mem_session_component.cc
View File

@ -87,7 +87,7 @@ Io_mem_session_component::~Io_mem_session_component()
_ds_ep.dissolve(&_ds);
/* flush local mapping of IO_MEM */
_unmap_local(_ds.core_local_addr(), _ds.size());
_unmap_local(_ds.core_local_addr(), _ds.size(), _ds.phys_addr());
/*
* The Dataspace will remove itself from all RM sessions when its