| { |
| "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 |
| }, |
| "gpio_led0" : { |
| "start": 0x8f00f000, |
| "length": 0x800 |
| }, |
| "kunyan_ethernet": { |
| "start": 0x14004000, |
| "end": 0x14008000 |
| } |
| }, |
| "instruction_memory": { |
| "start": 0x20040000, |
| "end": 0x20080000 |
| }, |
| "heap": { |
| "end": 0x20080000 |
| }, |
| "interrupts": [ |
| { |
| "name": "RevokerInterrupt", |
| "number": 1, |
| "priority": 2 |
| }, |
| { |
| "name": "UARTInterrupt", |
| "number": 2, |
| "priority": 3, |
| "edge_triggered": true |
| }, |
| { |
| "name": "EthernetTransmitInterrupt", |
| "number": 3, |
| "priority": 3 |
| }, |
| { |
| "name": "EthernetReceiveInterrupt", |
| "number": 4, |
| "priority": 3 |
| } |
| ], |
| "defines" : [ |
| "IBEX", |
| "IBEX_SAFE" |
| ], |
| "driver_includes" : [ |
| "${sdk}/include/platform/arty-a7", |
| "${sdk}/include/platform/synopsis", |
| "${sdk}/include/platform/ibex", |
| "${sdk}/include/platform/generic-riscv" |
| ], |
| "timer_hz" : 33000000, |
| "tickrate_hz" : 100, |
| "revoker" : "hardware", |
| "stack_high_water_mark" : true |
| } |