From 0f1002fab80152979b03af2a84271e0c475236f9 Mon Sep 17 00:00:00 2001
From: Michael Mueller <michael.mueller@uos.de>
Date: Mon, 27 Mar 2023 16:57:48 +0200
Subject: [PATCH] base: Set affinity of platform thread according to its
 location.

---
 repos/base/src/core/include/cpu_thread_component.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/repos/base/src/core/include/cpu_thread_component.h b/repos/base/src/core/include/cpu_thread_component.h
index e1b9652a5e..0360533ab7 100644
--- a/repos/base/src/core/include/cpu_thread_component.h
+++ b/repos/base/src/core/include/cpu_thread_component.h
@@ -172,6 +172,7 @@ class Genode::Cpu_thread_component : public  Rpc_object<Cpu_thread>,
 
 			_address_space_region_map.add_client(_rm_client);
 			_platform_thread.pager(_rm_client);
+			_platform_thread.affinity(location);
 			_trace_sources.insert(&_trace_source);
 		}