+ /* initialize the timer */
+ init_timer();
+
+ enable_intr();
+
+ printf("PCBoot kernel initialized\n");
+
+ for(;;) {
+ int c;
+
+ halt_cpu();
+ while((c = kb_getkey()) >= 0) {
+ if(c >= KB_F1 && c <= KB_F12) {
+ set_mode13h();
+ logohack();
+ }
+ if(isprint(c)) {
+ printf("key: %d '%c' \n", c, (char)c);
+ } else {
+ printf("key: %d \n", c);
+ }
+ }
+ if((nticks % 250) == 0) {
+ printf("ticks: %ld\r", nticks);
+ }
+ }