40,7 → 40,6 |
#include <sysinfo/sysinfo.h> |
#include <console/console.h> |
#include <ddi/irq.h> |
#include <arch/machine.h> |
#include <print.h> |
#include <config.h> |
#include <interrupt.h> |
49,6 → 48,15 |
#include <macros.h> |
#include <string.h> |
|
#ifdef MACHINE_testarm |
#include <arch/mach/testarm/testarm.h> |
#endif |
|
#ifdef MACHINE_integratorcp |
#include <arch/mach/integratorcp/integratorcp.h> |
#endif |
|
|
/** Performs arm32-specific initialization before main_bsp() is called. */ |
void arch_pre_main(void *entry __attribute__((unused)), bootinfo_t *bootinfo) |
{ |