/trunk/kernel/arch/arm32/include/console.h |
---|
36,13 → 36,6 |
#ifndef KERN_arm32_CONSOLE_H_ |
#define KERN_arm32_CONSOLE_H_ |
/** Initializes console. |
* |
* @param devno Console device number. |
*/ |
extern void console_init(devno_t devno); |
#endif |
/** @} |
/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 = { |