#include "intr.h"
#include "mem.h"
#include "keyb.h"
+#include "psaux.h"
#include "timer.h"
#include "contty.h"
#include "video.h"
+#include "audio.h"
+#include "pci.h"
+#include "vbetest.h"
void logohack(void);
con_init();
kb_init();
+ init_psaux();
init_mem();
+ init_pci();
+
/* initialize the timer */
init_timer();
+ audio_init();
+
enable_intr();
printf("PCBoot kernel initialized\n");
break;
case KB_F2:
- set_video_mode(640, 480, 16);
vbetest();
- set_vga_mode(3);
break;
}
if(isprint(c)) {
- printf("key: %d '%c' \n", c, (char)c);
+ printf("key: %d '%c'\n", c, (char)c);
} else {
- printf("key: %d \n", c);
+ printf("key: %d\n", c);
}
}
if((nticks % 250) == 0) {
- printf("ticks: %ld\r", nticks);
+ con_printf(71, 0, "[%ld]", nticks);
}
}
}