# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1495991461 -7200
# Node ID 124757d0843fb23c8a93c30daa854238ed8aad2e
# Parent  8486ec92869e722b0df07751b8f3a0d73a30e69d
Write to KSEG0 instead of KSEG1.

diff -r 8486ec92869e -r 124757d0843f display.c
--- a/display.c	Sun May 28 19:08:49 2017 +0200
+++ b/display.c	Sun May 28 19:11:01 2017 +0200
@@ -23,7 +23,7 @@
 
 void init_framebuffer(uint32_t *data)
 {
-	uint32_t *addr = (uint32_t *) KSEG1_BASE;
+	uint32_t *addr = (uint32_t *) KSEG0_BASE;
 	uint16_t x, y;
 
 	for (y = 0; y < LINE_COUNT; y++)
@@ -39,7 +39,7 @@
 
 void init_framebuffer_with_pattern()
 {
-	uint32_t *addr = (uint32_t *) KSEG1_BASE;
+	uint32_t *addr = (uint32_t *) KSEG0_BASE;
 	uint32_t base, value;
 	uint16_t x, y;
 	uint8_t row, offset;