| { |
| "devices": { |
| "shadow" : { |
| "start" : 0x30000000, |
| "end" : 0x30004000 |
| }, |
| "clint": { |
| "start" : 0x80040000, |
| "end" : 0x80050000 |
| }, |
| "uart": { |
| "start" : 0x80100000, |
| "end" : 0x80100034 |
| }, |
| "gpio" : { |
| "start" : 0x80000000, |
| "end" : 0x80000020 |
| }, |
| "plic": { |
| "start" : 0x88000000, |
| "end" : 0x88400000 |
| } |
| }, |
| "instruction_memory": { |
| "start": 0x00100080, |
| "end": 0x00140000 |
| }, |
| "heap": { |
| "end": 0x00140000 |
| }, |
| "interrupts": [ |
| { |
| "name": "UartRxWatermark", |
| "number": 2, |
| "priority": 3, |
| "edge_triggered": true |
| } |
| ], |
| "defines" : ["IBEX", "SUNBURST"], |
| "driver_includes" : [ |
| "../include/platform/sunburst", |
| "../include/platform/generic-riscv" |
| ], |
| "timer_hz" : 30000000, |
| "tickrate_hz" : 100, |
| "revoker" : "software", |
| "simulation": false |
| } |
