- First stab at getting the ppc ports building and working.

[coreboot.git] / src / cpu / simple_init / simple_cpu_init.c

diff --git a/src/cpu/simple_init/simple_cpu_init.c b/src/cpu/simple_init/simple_cpu_init.c
index 02eb73f39102519648c8d52f906b7f4e431784be..e0a80c6820ed351aff27b1d568c555e2f109f767 100644 (file)
--- a/src/cpu/simple_init/simple_cpu_init.c
+++ b/src/cpu/simple_init/simple_cpu_init.c
@@ -1,7 +1,7 @@
-#include <linux/console.h>
+#include <console/console.h>
 #include <device/device.h>
 #include <device/path.h>
-#include <device/cpu.h>
+#include <cpu/cpu.h>
 
 #if CONFIG_SMP
 #error "This Configuration does not support SMP"
@@ -16,10 +16,11 @@ void initialize_cpus(struct bus *cpu_bus)
        info = cpu_info();
        
        /* Get the device path of the boot cpu */
-       cpu_path.type = DEVICE_PATH_BOOT_CPU;
+       cpu_path.type = DEVICE_PATH_CPU;
+       cpu_path.u.cpu.id = 0;
 
        /* Find the device struct for the boot cpu */
-       info->cpu = alloc_find_dev(bus, &cpu_path);
+       info->cpu = alloc_find_dev(cpu_bus, &cpu_path);
        
        /* Initialize the bootstrap processor */
        cpu_initialize();