| { |
| "devices": { |
| "clint": { |
| "start": 0x14001000, |
| "length": 0x1000 |
| }, |
| "plic": { |
| "start": 0x10000000, |
| "end": 0x10400000 |
| }, |
| "revoker": { |
| "start": 0x14000000, |
| "length": 0x1000 |
| }, |
| "uart": { |
| "start": 0x8f00b000, |
| "end": 0x8f00b100 |
| }, |
| "shadow" : { |
| "start": 0x200fe000, |
| "length": 0x2000 |
| } |
| }, |
| "instruction_memory": { |
| "start": 0x20040000, |
| "end": 0x20080000 |
| }, |
| "heap": { |
| "end": 0x20080000 |
| }, |
| "interrupts": [ |
| { |
| "name": "RevokerInterrupt", |
| "number": 1, |
| "priority": 2 |
| } |
| ], |
| "defines" : [ |
| "IBEX", |
| "IBEX_SAFE" |
| ], |
| "driver_includes" : [ |
| "../include/platform/generic-riscv", |
| "../include/platform/ibex" |
| ], |
| "timer_hz" : 100000, |
| "tickrate_hz" : 10, |
| "revoker" : "hardware", |
| "stack_high_water_mark" : true, |
| "simulation": true, |
| "simulator" : "${sdk}/../scripts/run-ibex-safe-sim.sh" |
| } |
