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