Rev 1790 | Rev 1837 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1790 | Rev 1822 | ||
|---|---|---|---|
| Line 58... | Line 58... | ||
| 58 | printf("Error: unable to get screen properties, halting.\n"); |
58 | printf("Error: unable to get screen properties, halting.\n"); |
| 59 | halt(); |
59 | halt(); |
| 60 | } |
60 | } |
| 61 | bootinfo.screen.addr = ofw_translate(bootinfo.screen.addr); |
61 | bootinfo.screen.addr = ofw_translate(bootinfo.screen.addr); |
| 62 | 62 | ||
| 63 | if (!ofw_keyboard(&bootinfo.keyboard)) { |
63 | if (!ofw_keyboard(&bootinfo.keyboard)) |
| 64 | printf("Error: unable to get keyboard properties, halting.\n"); |
64 | printf("Error: unable to get keyboard properties\n"); |
| 65 | halt(); |
- | |
| 66 | } |
- | |
| 67 | 65 | ||
| 68 | printf("\nDevice statistics\n"); |
66 | printf("\nDevice statistics\n"); |
| 69 | printf(" memory: %dM\n", bootinfo.memmap.total>>20); |
67 | printf(" memory: %dM\n", bootinfo.memmap.total>>20); |
| 70 | printf(" screen at %P, resolution %dx%d, %d bpp (scanline %d bytes)\n", (uintptr_t) bootinfo.screen.addr, bootinfo.screen.width, bootinfo.screen.height, bootinfo.screen.bpp, bootinfo.screen.scanline); |
68 | printf(" screen at %P, resolution %dx%d, %d bpp (scanline %d bytes)\n", (uintptr_t) bootinfo.screen.addr, bootinfo.screen.width, bootinfo.screen.height, bootinfo.screen.bpp, bootinfo.screen.scanline); |
| 71 | printf(" keyboard at %P (size %d bytes)\n", (uintptr_t) bootinfo.keyboard.addr, bootinfo.keyboard.size); |
69 | printf(" keyboard at %P (size %d bytes)\n", (uintptr_t) bootinfo.keyboard.addr, bootinfo.keyboard.size); |