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); |