From d501b694bfec1de13313b3cac5eee25b4647f916 Mon Sep 17 00:00:00 2001
From: Alexander von Gluck IV <kallisti5@unixzen.com>
Date: Fri, 14 Sep 2012 15:38:10 -0500
Subject: [PATCH] rPi: Set 1 cpu in the loader

---
 src/system/boot/platform/raspberrypi_arm/cpu.cpp | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/system/boot/platform/raspberrypi_arm/cpu.cpp b/src/system/boot/platform/raspberrypi_arm/cpu.cpp
index bc2f15fce0..f8d27d992b 100644
--- a/src/system/boot/platform/raspberrypi_arm/cpu.cpp
+++ b/src/system/boot/platform/raspberrypi_arm/cpu.cpp
@@ -35,6 +35,8 @@ spin(bigtime_t microseconds)
 extern "C" void
 cpu_init()
 {
+	gKernelArgs.num_cpus = 1;
+		// this will eventually be corrected later on
+
 #warning IMPLEMENT cpu_init
 }
-