From 0fbd892b5c2d884f0a3944f73df63c93b677c449 Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Thu, 8 Mar 2018 13:22:23 +0100
Subject: [PATCH] foc: provide platform_info ROM

Issue #2700
---
 repos/base-foc/src/core/platform.cc | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/repos/base-foc/src/core/platform.cc b/repos/base-foc/src/core/platform.cc
index 5cf2da0a0b..0d3b0144ad 100644
--- a/repos/base-foc/src/core/platform.cc
+++ b/repos/base-foc/src/core/platform.cc
@@ -454,6 +454,19 @@ Platform::Platform() :
 	core_thread->pager(&_sigma0);
 	_core_pd->bind_thread(core_thread);
 
+	{
+		/* export x86 platform specific infos */
+		void * phys_ptr = nullptr;
+		if (ram_alloc()->alloc_aligned(get_page_size(), &phys_ptr,
+		                               get_page_size_log2()).ok()) {
+			addr_t const phys_addr = reinterpret_cast<addr_t>(phys_ptr);
+			/* empty for now */
+			_rom_fs.insert(new (core_mem_alloc()) Rom_module(phys_addr,
+			                                                 get_page_size(),
+			                                                 "platform_info"));
+		}
+	}
+
 	/* core log as ROM module */
 	{
 		void * core_local_ptr = nullptr;