From ab341b9d63801d389875e644a555dccb3e166914 Mon Sep 17 00:00:00 2001 From: Alexander von Gluck IV Date: Fri, 14 Aug 2015 12:50:05 -0500 Subject: [PATCH] kernel/arm: Correct platform id on ARM --- src/system/kernel/arch/arm/arch_system_info.cpp | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/system/kernel/arch/arm/arch_system_info.cpp b/src/system/kernel/arch/arm/arch_system_info.cpp index 49a3c7318b..ae8784b405 100644 --- a/src/system/kernel/arch/arm/arch_system_info.cpp +++ b/src/system/kernel/arch/arm/arch_system_info.cpp @@ -29,7 +29,8 @@ arch_fill_topology_node(cpu_topology_node_info* node, int32 cpu) { switch (node->type) { case B_TOPOLOGY_ROOT: - node->data.root.platform = B_CPU_PPC_64; + // TODO: ARM_64? + node->data.root.platform = B_CPU_ARM; break; case B_TOPOLOGY_PACKAGE: