video initialization seems to work, further testing needed
[rpikern] / src / main.c
index 8f85b1f..0c8bdf5 100644 (file)
@@ -5,6 +5,7 @@
 #include <ctype.h>
 #include "asm.h"
 #include "serial.h"
+#include "video.h"
 
 void dbgled(int x);
 void exit(int x);
@@ -17,11 +18,12 @@ int main(void)
        static char cmdbuf[256];
        static int cmdend;
 
-       dbgled(2);
-
        init_serial(115200);
-       ser_printstr("starting rpikern\n");
+       ser_printstr("Starting rpikern\n");
+
+       video_init();
 
+       ser_printstr("Going interactive\n");
        for(;;) {
                int c = ser_getchar();
 
@@ -56,7 +58,7 @@ int main(void)
 
 void panic(void)
 {
-       dbgled(1);
+       ser_printstr("PANIC!\n");
        exit(0);
 }