/trunk/kernel/arch/arm32/src/arm32.c/arm32.c |
---|
49,7 → 49,7 |
#include <userspace.h> |
#include <macros.h> |
/** Performs arm32 specific initialization before main_bsp() is called. */ |
/** Performs arm32-specific initialization before main_bsp() is called. */ |
void arch_pre_main(void *entry __attribute__((unused)), bootinfo_t *bootinfo) |
{ |
unsigned int i; |