ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-01-18 10:46:25 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

sel4: enable support for direct unmap in core

Browse Source 
Issue #2563
This commit is contained in:
Alexander Boettcher 2017-11-09 22:20:07 +01:00 committed by Christian Helmuth
parent caba2d3021
commit 7d54d1da0c
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
repos/base-sel4/src/core/include/platform.h
View File

@ -250,6 +250,9 @@ class Genode::Platform : public Platform_generic
Affinity::Space affinity_space() const override {
return sel4_boot_info().numNodes; }
bool supports_unmap() override { return true; }
bool supports_direct_unmap() const override { return true; }
/*******************
** seL4 specific **
*******************/