| { |
| "devices" : |
| { |
| "clint" : { |
| "start" : 0x2000000, |
| "length" : 0x10000 |
| }, |
| "plic" : { |
| "start" : 0xc000000, |
| "length" : 0x400000 |
| }, |
| "uart" : { |
| "start" : 0x10000100, |
| "end" : 0x10000200 |
| }, |
| "ethernet" : { |
| "start" : 0x10000100, |
| "end" : 0x10000200 |
| }, |
| "shadow" : { |
| "start" : 0x40000000, |
| "end" : 0x40001000 |
| }, |
| "shadowctrl" : { |
| "start" : 0x40001000, |
| "end" : 0x40001028 |
| } |
| }, |
| "instruction_memory" : { |
| "start" : 0x80000000, |
| "end" : 0x80040000 |
| }, |
| "heap" : { |
| "end" : 0x80040000 |
| }, |
| "revoker" : "hardware", |
| "stack_high_water_mark" : true, |
| "driver_includes" : [ |
| "../include/platform/flute", |
| "../include/platform/generic-riscv" |
| ], |
| "defines" : [ |
| "FLUTE", |
| "FLUTE_SHADOW_BASE=0x40000000U", |
| "FLUTE_SHADOW_SIZE=0x1000U" |
| ], |
| "timer_hz" : 40000, |
| "tickrate_hz" : 10, |
| "simulator" : "${sdk}/../scripts/run-flute.sh", |
| "simulation" : true |
| } |
| |
