From 06dfae8a04c1fb51416472e6e29ec3e926b6cf9b Mon Sep 17 00:00:00 2001
From: Andrew Waterman <waterman@cs.berkeley.edu>
Date: Sat, 30 Apr 2016 22:35:14 -0700
Subject: [PATCH] Fix loading of config string pointer

---
 machine/configstring.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/machine/configstring.c b/machine/configstring.c
index e134398..6e34f6a 100644
--- a/machine/configstring.c
+++ b/machine/configstring.c
@@ -47,7 +47,8 @@ static void query_harts(const char* config_string)
 
 void parse_config_string()
 {
-  const char* s = *(const char* const*)CONFIG_STRING_ADDR;
+  uint32_t addr = *(uint32_t*)CONFIG_STRING_ADDR;
+  const char* s = (const char*)(uintptr_t)addr;
   query_mem(s);
   query_rtc(s);
   query_harts(s);