diff options
| author | Andrew Waterman <waterman@cs.berkeley.edu> | 2016-04-30 22:35:14 -0700 |
|---|---|---|
| committer | Andrew Waterman <waterman@cs.berkeley.edu> | 2016-04-30 22:35:14 -0700 |
| commit | 06dfae8a04c1fb51416472e6e29ec3e926b6cf9b (patch) | |
| tree | fb0a17c17ebc2d9c4831066f6d4fbbf40225aeb4 | |
| parent | 7389e46cd013e0cd23af8a6531e9e104b5a31d09 (diff) | |
| download | pk-06dfae8a04c1fb51416472e6e29ec3e926b6cf9b.zip pk-06dfae8a04c1fb51416472e6e29ec3e926b6cf9b.tar.gz pk-06dfae8a04c1fb51416472e6e29ec3e926b6cf9b.tar.bz2 | |
Fix loading of config string pointer
| -rw-r--r-- | machine/configstring.c | 3 |
1 files changed, 2 insertions, 1 deletions
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); |