| { | 
 |     "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 | 
 | } |