px4 init: Remember to set the video base !

diff --git a/Kernel/platform-px4plus/init.c b/Kernel/platform-px4plus/init.c
index b0c4623..7f92d77 100644 (file)
--- a/Kernel/platform-px4plus/init.c
+++ b/Kernel/platform-px4plus/init.c
@@ -8,10 +8,13 @@
 #include <devlpr.h>
 #include <devtty.h>
 
+__sfr __at 0x08 vadr;
+
 void device_init(void)
 {
   int i;
   /* Add 4 swaps (128K) to use the entire RAM drive */
   for (i = 0; i < MAX_SWAPS; i++)
     swapmap_add(i);
+  vadr = 0x58; /* Must match kernel.def */  
 }