Rev 1478 | Rev 1764 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1478 | Rev 1620 | ||
---|---|---|---|
Line 98... | Line 98... | ||
98 | if (!ofw_screen(&bootinfo.screen)) { |
98 | if (!ofw_screen(&bootinfo.screen)) { |
99 | printf("Error: unable to get screen properties, halting.\n"); |
99 | printf("Error: unable to get screen properties, halting.\n"); |
100 | halt(); |
100 | halt(); |
101 | } |
101 | } |
102 | 102 | ||
- | 103 | if (!ofw_keyboard(&bootinfo.keyboard)) { |
|
- | 104 | printf("Error: unable to get keyboard properties, halting.\n"); |
|
- | 105 | halt(); |
|
- | 106 | } |
|
- | 107 | ||
103 | printf("\nDevice statistics\n"); |
108 | printf("\nDevice statistics\n"); |
104 | printf(" screen at %L, resolution %dx%d, %d bpp (scanline %d bytes)\n", bootinfo.screen.addr, bootinfo.screen.width, bootinfo.screen.height, bootinfo.screen.bpp, bootinfo.screen.scanline); |
109 | printf(" screen at %L, resolution %dx%d, %d bpp (scanline %d bytes)\n", bootinfo.screen.addr, bootinfo.screen.width, bootinfo.screen.height, bootinfo.screen.bpp, bootinfo.screen.scanline); |
- | 110 | printf(" keyboard at %L (size %d bytes)\n", bootinfo.keyboard.addr, bootinfo.keyboard.size); |
|
105 | 111 | ||
106 | void *real_mode_pa = ofw_translate(&real_mode); |
112 | void *real_mode_pa = ofw_translate(&real_mode); |
107 | void *trans_pa = ofw_translate(&trans); |
113 | void *trans_pa = ofw_translate(&trans); |
108 | void *bootinfo_pa = ofw_translate(&bootinfo); |
114 | void *bootinfo_pa = ofw_translate(&bootinfo); |
109 | 115 |