9 void set_mode13h(void);
12 void pcboot_main(void)
19 /* initialize the timer */
24 printf("PCBoot kernel initialized\n");
30 while((c = kb_getkey()) >= 0) {
31 if(c >= KB_F1 && c <= KB_F12) {
36 printf("key: %d '%c' \n", c, (char)c);
38 printf("key: %d \n", c);
41 if((nticks % 250) == 0) {
42 printf("ticks: %ld\r", nticks);