From 7b964fa700fe4bbef89c08da7ba0af64d39909e4 Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Tue, 14 Jan 2020 14:49:00 +0100
Subject: [PATCH] base: add affinity space info to platform info

Issue #3599
---
 repos/base-foc/src/core/platform.cc  | 4 ++++
 repos/base-hw/src/core/platform.cc   | 4 ++++
 repos/base-nova/src/core/platform.cc | 4 ++++
 repos/base-sel4/src/core/platform.cc | 4 ++++
 4 files changed, 16 insertions(+)

diff --git a/repos/base-foc/src/core/platform.cc b/repos/base-foc/src/core/platform.cc
index e8641b481..38f7c6014 100644
--- a/repos/base-foc/src/core/platform.cc
+++ b/repos/base-foc/src/core/platform.cc
@@ -495,6 +495,10 @@ Platform::Platform() :
 			xml.node("hardware", [&] () {
 				_setup_platform_info(xml, sigma0_map_kip());
 			});
+			xml.node("affinity-space", [&] () {
+				xml.attribute("width", affinity_space().width());
+				xml.attribute("height", affinity_space().height());
+			});
 		});
 
 		_rom_fs.insert(new (core_mem_alloc()) Rom_module(phys_addr, size,
diff --git a/repos/base-hw/src/core/platform.cc b/repos/base-hw/src/core/platform.cc
index bbdc5a41b..b100ce054 100644
--- a/repos/base-hw/src/core/platform.cc
+++ b/repos/base-hw/src/core/platform.cc
@@ -130,6 +130,10 @@ void Platform::_init_platform_info()
 	{
 		xml.node("kernel", [&] () { xml.attribute("name", "hw"); });
 		_init_additional_platform_info(xml);
+		xml.node("affinity-space", [&] () {
+			xml.attribute("width", affinity_space().width());
+			xml.attribute("height", affinity_space().height());
+		});
 	});
 
 	if (!unmap_local(virt_addr, pages)) {
diff --git a/repos/base-nova/src/core/platform.cc b/repos/base-nova/src/core/platform.cc
index 68a84390f..a0f20d554 100644
--- a/repos/base-nova/src/core/platform.cc
+++ b/repos/base-nova/src/core/platform.cc
@@ -705,6 +705,10 @@ Platform::Platform()
 						if (xsdt)
 							xml.attribute("xsdt", String<32>(Hex(xsdt)));
 					});
+					xml.node("affinity-space", [&] () {
+						xml.attribute("width", _cpus.width());
+						xml.attribute("height", _cpus.height());
+					});
 					xml.node("boot", [&] () {
 						if (!boot_fb)
 							return;
diff --git a/repos/base-sel4/src/core/platform.cc b/repos/base-sel4/src/core/platform.cc
index 1d9a07498..2ec40bcc2 100644
--- a/repos/base-sel4/src/core/platform.cc
+++ b/repos/base-sel4/src/core/platform.cc
@@ -417,6 +417,10 @@ void Platform::_init_rom_modules()
 						xml.attribute("freq_khz" , boot_freq->freq_mhz * 1000UL);
 					});
 				});
+				xml.node("affinity-space", [&] () {
+					xml.attribute("width", affinity_space().width());
+					xml.attribute("height", affinity_space().height());
+				});
 			}
 
 			if (element->id == SEL4_BOOTINFO_HEADER_X86_FRAMEBUFFER) {