| 42,7 → 42,6 |
|---|
| #include <userspace.h> |
| #include <proc/uarg.h> |
| #include <console/console.h> |
| #include <ddi/device.h> |
| #include <ddi/irq.h> |
| #include <arch/drivers/pic.h> |
| #include <macros.h> |
| 79,6 → 78,8 |
|---|
| void arch_post_mm_init(void) |
| { |
| if (config.cpu_active == 1) { |
| |
| #ifdef CONFIG_FB |
| /* Initialize framebuffer */ |
| if (bootinfo.screen.addr) { |
| unsigned int visual; |
| 109,6 → 110,7 |
|---|
| }; |
| fb_init(&prop); |
| } |
| #endif |
| |
| /* Initialize IRQ routing */ |
| irq_init(IRQ_COUNT, IRQ_COUNT); |
| 118,8 → 120,7 |
|---|
| pic_init(bootinfo.macio.addr, PAGE_SIZE); |
| |
| /* Initialize I/O controller */ |
| cuda_init(device_assign_devno(), |
| bootinfo.macio.addr + 0x16000, 2 * PAGE_SIZE); |
| cuda_init(bootinfo.macio.addr + 0x16000, 2 * PAGE_SIZE); |
| } |
| |
| /* Merge all zones to 1 big zone */ |
| 159,7 → 160,9 |
|---|
| */ |
| void arch_grab_console(void) |
| { |
| #ifdef CONFIG_FB |
| fb_redraw(); |
| #endif |
| } |
| |
| /** Return console to userspace |