Rev 2169 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2169 | Rev 2173 | ||
---|---|---|---|
Line 34... | Line 34... | ||
34 | 34 | ||
35 | 35 | ||
36 | #include <arch.h> |
36 | #include <arch.h> |
37 | #include <arch/boot.h> |
37 | #include <arch/boot.h> |
38 | #include <config.h> |
38 | #include <config.h> |
- | 39 | #include <arch/console.h> |
|
- | 40 | #include <ddi/device.h> |
|
39 | 41 | ||
40 | #include "aux_print/printf.h" |
42 | #include "aux_print/printf.h" |
41 | 43 | ||
42 | bootinfo_t bootinfo; |
44 | bootinfo_t bootinfo; |
43 | 45 | ||
Line 57... | Line 59... | ||
57 | } |
59 | } |
58 | 60 | ||
59 | void arch_pre_mm_init(void) |
61 | void arch_pre_mm_init(void) |
60 | { |
62 | { |
61 | aux_printf("arch_pre_mm_init\n"); |
63 | aux_printf("arch_pre_mm_init\n"); |
- | 64 | ||
- | 65 | console_init(device_assign_devno()); |
|
62 | } |
66 | } |
63 | 67 | ||
64 | void arch_post_mm_init(void) |
68 | void arch_post_mm_init(void) |
65 | { |
69 | { |
66 | /* TODO */ |
70 | /* TODO */ |