blob: b0dd8656105f91d3c134b7ac153b90f9064f7d77 [file] [log] [blame]
{
"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
}