//kernel/trunk/arch/ppc32/src/ppc32.c |
---|
34,6 → 34,7 |
#include <genarch/fb/fb.h> |
#include <userspace.h> |
#include <proc/uarg.h> |
#include <console/console.h> |
bootinfo_t bootinfo; |
91,3 → 92,16 |
for (;;) |
; |
} |
/** Acquire console back for kernel |
* |
*/ |
void arch_grab_console(void) |
{ |
} |
/** Return console to userspace |
* |
*/ |
void arch_release_console(void) |
{ |
} |