| /kernel/trunk/arch/ppc32/src/ppc32.c |
|---|
| 28,10 → 28,10 |
| #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> |
| #include <genarch/fb/fb.h> |
| #include <userspace.h> |
| #include <proc/uarg.h> |
| 67,8 → 67,6 |
| /* Merge all zones to 1 big zone */ |
| zone_merge_all(); |
| ppc32_console_register(); |
| } |
| } |