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

base: provide core_ram_allocator via platform_add_local_services()

Browse Source 
This is a prerequisite to rework the allocation of core data structures
for VM sessions in hw.

Issue #5221
This commit is contained in:
Benjamin Lamowski
2024-11-28 16:42:09 +01:00
committed by Christian Helmuth
parent d5f3cc6ec2
commit b21c8729ea
12 changed files with 26 additions and 14 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
repos/base-linux/src/core/spec/linux/platform_services.cc
View File

@ -22,5 +22,6 @@
void Core::platform_add_local_services(Rpc_entrypoint &,
Sliced_heap &,
Registry<Service> &,
Trace::Source_registry &)
Trace::Source_registry &,
Ram_allocator &)
{ }

3
repos/base-linux/src/core/spec/pc/platform_services.cc
View File

@ -28,7 +28,8 @@ using namespace Core;
void Core::platform_add_local_services(Rpc_entrypoint &,
Sliced_heap &md,
Registry<Service> &reg,
Core::Trace::Source_registry &)
Core::Trace::Source_registry &,
Ram_allocator &)
{
if (!lx_iopl(3)) {
static Io_port_root io_port_root(*core_env().pd_session(),