Changeset 4037847 in mainline for arch/ppc32/src/ppc32.c

Timestamp:

2006-03-24T19:14:12Z (19 years ago)

Author:

Martin Decky <martin@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

c715e9b

Parents:

5201199

Message:

kernel boot API change

File:

• arch/ppc32/src/ppc32.c (modified) (1 diff)

arch/ppc32/src/ppc32.c

@@ -28 +28 @@
 
 #include <arch.h>
+#include <arch/boot/boot.h>
 #include <arch/console.h>
 #include <arch/drivers/cuda.h>
 #include <arch/mm/memory_init.h>
 #include <arch/interrupt.h>
+
+bootinfo_t bootinfo;
 
 void arch_pre_mm_init(void)