kernel/arm: Correct platform id on ARM

This commit is contained in:
Alexander von Gluck IV
2015-08-14 12:50:05 -05:00
committed by Alexander von Gluck IV
parent 1e57dd30a8
commit ab341b9d63
@@ -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: