From f3301f00491435dbd311b51fc03ceed80cceb950 Mon Sep 17 00:00:00 2001
From: Michael Mueller <michael.mueller@uos.de>
Date: Mon, 17 Oct 2022 18:52:09 +0200
Subject: [PATCH] nova: Fixed garbled CPU-NUMA mapping.

---
 repos/base-nova/include/nova/syscall-generic.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/base-nova/include/nova/syscall-generic.h b/repos/base-nova/include/nova/syscall-generic.h
index 281a9db4e6..4e4356736a 100644
--- a/repos/base-nova/include/nova/syscall-generic.h
+++ b/repos/base-nova/include/nova/syscall-generic.h
@@ -206,7 +206,7 @@ namespace Nova {
 							      c->thread == thread))
 								continue;
 
-							cpu_numa_map[cpu_i] = c->numa_id;
+							cpu_numa_map[i] = c->numa_id;
 							map_cpus[cpu_i++] = (uint8_t)i;
 							if (cpu_i >= num_cpus)
 								return true;