From 282bc5307e688bc99ef055fb7337ecc3aef19ae7 Mon Sep 17 00:00:00 2001
From: Alan Cox <alan@etchedpixels.co.uk>
Date: Sat, 1 Nov 2014 15:45:18 +0000
Subject: [PATCH] px4 init: Remember to set the video base !

---
 Kernel/platform-px4plus/init.c | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Kernel/platform-px4plus/init.c b/Kernel/platform-px4plus/init.c
index b0c4623c..7f92d779 100644
--- 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 */  
 }
-- 
2.34.1