void main() { init_alloc(); vga_printf("&main = %08p\n", &main); int i; for(i = 10; i >= 0; i--) vga_printf("'%#0*x' %.*s '%*d' %.*s '%.*s' %.*s '%d'\n", i, 0xdead, 10 - i, "", i, -123, 10 - i, "", i, "moo", 10 - i, "", i << i); vga_printf("%d %d %lld %lld %u %llu\n", INT_MIN, INT_MAX, LLONG_MIN, LLONG_MAX, UINT_MAX, ULLONG_MAX); vga_set_color(0xC, 0x0); vga_printf("HALT"); }
/* build standard RGB palette */ static void vga_build_rgb_palette(void) { static const uint8_t pal_value[6] = { 0x00, 0x33, 0x66, 0x99, 0xcc, 0xff }; int i, r, g, b; i = 0; for(r = 0; r < 6; r++) { for(g = 0; g < 6; g++) { for(b = 0; b < 6; b++) { vga_set_color(i, pal_value[r], pal_value[g], pal_value[b]); i++; } } } }