| /branches/arm/kernel/arch/arm32/src/arm32.c |
|---|
| 41,8 → 41,7 |
| #include <genarch/fb/fb.h> |
| #include <genarch/fb/visuals.h> |
| #include <ddi/irq.h> |
| #include <arch/debug_print/print.h> |
| #include <arch/debug/print.h> |
| #include <print.h> |
| #include <config.h> |
| #include <interrupt.h> |