+#include "config.h"
+
+#include <stdio.h>
+#include <stdlib.h>
+#include <malloc.h>
+#include "intr.h"
+#include "vid.h"
+#include "ser.h"
+#include "con.h"
+#include "mem.h"
+#include "proc.h"
+#include "dbg.h"
+
void kmain(void)
{
- int i, j;
- unsigned short __far *vmem = (void __far*)0xb8000000ul;
- unsigned short c;
-
- for(i=0; i<25; i++) {
- c = ((i & 0xf) << 8) | '@';
- for(j=0; j<80; j++) {
- *vmem++ = c;
- }
- }
+ vid_init();
+ ser_init();
+ con_init();
+
+ printf("eightysix kernel %s\n", VERSTR);
+
+ mem_init();
+ init_intr();
+
+ printf("starting init\n");
+ proc_init();
}