Rev 4027 | Rev 4117 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 4027 | Rev 4045 | ||
|---|---|---|---|
| Line 80... | Line 80... | ||
| 80 | /* Initialize exception dispatch table */ |
80 | /* Initialize exception dispatch table */ |
| 81 | exception_init(); |
81 | exception_init(); |
| 82 | 82 | ||
| 83 | interrupt_init(); |
83 | interrupt_init(); |
| 84 | 84 | ||
| 85 | console_init(device_assign_devno()); |
85 | machine_console_init(device_assign_devno()); |
| 86 | 86 | ||
| 87 | #ifdef CONFIG_FB |
87 | #ifdef CONFIG_FB |
| 88 | fb_properties_t prop = { |
88 | fb_properties_t prop = { |
| 89 | .addr = machine_get_fb_address(), |
89 | .addr = machine_get_fb_address(), |
| 90 | .offset = 0, |
90 | .offset = 0, |