hw: enable direct unmap

ref #589
2013-09-18 13:11:27 +02:00 · 2013-09-18 13:11:27 +02:00 · a4f52bec19
parent 4f4738427d
commit a4f52bec19
1 changed files with 2 additions and 0 deletions
--- a/base-hw/src/core/include/platform.h
+++ b/base-hw/src/core/include/platform.h
@ -98,6 +98,8 @@ namespace Genode {

 			inline void wait_for_exit() { while (1) Kernel::pause_thread(); };

+			bool supports_direct_unmap() const { return 1; }
+
 			inline Range_allocator * region_alloc()
 			{
 				kernel_log() << __PRETTY_FUNCTION__ << ": Not implemented\n";