/trunk/kernel/arch/arm32/src/console.c |
---|
39,11 → 39,6 |
#include <genarch/fb/fb.h> |
void console_init(devno_t devno) |
{ |
machine_console_init(devno); |
} |
/** Acquire console back for kernel. */ |
void arch_grab_console(void) |
{ |
/trunk/kernel/arch/arm32/src/arm32.c |
---|
82,7 → 82,7 |
interrupt_init(); |
console_init(device_assign_devno()); |
machine_console_init(device_assign_devno()); |
#ifdef CONFIG_FB |
fb_properties_t prop = { |