| 40,6 → 40,7 |
|---|
| #include <proc/uarg.h> |
| #include <print.h> |
| #include <syscall/syscall.h> |
| #include <sysinfo/sysinfo.h> |
| |
| #include <arch/interrupt.h> |
| #include <arch/drivers/arc.h> |
| 46,6 → 47,7 |
|---|
| #include <console/chardev.h> |
| #include <arch/debugger.h> |
| #include <genarch/fb/fb.h> |
| #include <debug.h> |
| |
| #include <arch/asm/regname.h> |
| |
| 116,6 → 118,7 |
|---|
| #ifdef CONFIG_FB |
| fb_init(0x12000000, 640, 480, 24, 1920); // gxemul framebuffer |
| #endif |
| sysinfo_set_item_val("machine." STRING(MACHINE),NULL,1); |
| } |
| |
| void arch_pre_smp_init(void) |