diff options
| author | Andrew Waterman <waterman@cs.berkeley.edu> | 2016-04-30 17:39:13 -0700 |
|---|---|---|
| committer | Andrew Waterman <waterman@cs.berkeley.edu> | 2016-04-30 17:44:09 -0700 |
| commit | 7389e46cd013e0cd23af8a6531e9e104b5a31d09 (patch) | |
| tree | 65a2567c46be9fa73f958cf1863f03925d335cda /machine/configstring.c | |
| parent | 1a9aefdd006b660093283b039bfa8931319f8ae3 (diff) | |
| download | riscv-pk-7389e46cd013e0cd23af8a6531e9e104b5a31d09.zip riscv-pk-7389e46cd013e0cd23af8a6531e9e104b5a31d09.tar.gz riscv-pk-7389e46cd013e0cd23af8a6531e9e104b5a31d09.tar.bz2 | |
Move DRAM to high addresses
Diffstat (limited to 'machine/configstring.c')
| -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 d2f2a84..e134398 100644 --- a/machine/configstring.c +++ b/machine/configstring.c @@ -8,6 +8,7 @@ static void query_mem(const char* config_string) query_result res = query_config_string(config_string, "ram{0{addr"); assert(res.start); uintptr_t base = get_uint(res); + assert(base == DRAM_BASE); res = query_config_string(config_string, "ram{0{size"); mem_size = get_uint(res); } @@ -46,7 +47,7 @@ static void query_harts(const char* config_string) void parse_config_string() { - const char* s = (const char*)read_csr(mcfgaddr); + const char* s = *(const char* const*)CONFIG_STRING_ADDR; query_mem(s); query_rtc(s); query_harts(s); |