| { | 
 |     "devices": { | 
 |         "shadow" : { | 
 |             "start" : 0x30000000, | 
 |             "end"   : 0x30000800 | 
 |         }, | 
 |         "pwm": { | 
 |             "start" : 0x80001000, | 
 |             "length": 0x00001000 | 
 |         }, | 
 |         "rgbled" : { | 
 |             "start" : 0x80009000, | 
 |             "end"   : 0x80009020 | 
 |         }, | 
 |         "revoker": { | 
 |             "start" : 0x8000A000, | 
 |             "length": 0x00001000 | 
 |         }, | 
 |         "adc": { | 
 |             "start" : 0x8000B000, | 
 |             "length": 0x00001000 | 
 |         }, | 
 |         "clint": { | 
 |             "start" : 0x80040000, | 
 |             "end"   : 0x80050000 | 
 |         }, | 
 |         "uart": { | 
 |             "start" : 0x80100000, | 
 |             "end"   : 0x80100034 | 
 |         }, | 
 |         "uart1": { | 
 |             "start" : 0x80101000, | 
 |             "end"   : 0x80101034 | 
 |         }, | 
 |         "uart2": { | 
 |             "start" : 0x80102000, | 
 |             "end"   : 0x80102034 | 
 |         }, | 
 |         "usbdev": { | 
 |             "start" : 0x80400000, | 
 |             "end"   : 0x80401000 | 
 |         }, | 
 |         "plic": { | 
 |             "start" : 0x88000000, | 
 |             "end"   : 0x88400000 | 
 |         } | 
 |     }, | 
 |     "instruction_memory": { | 
 |         "start": 0x00101000, | 
 |         "end":   0x00120000 | 
 |     }, | 
 |     "heap": { | 
 |         "end": 0x00120000 | 
 |     }, | 
 |     "revokable_memory_start": 0x00100000, | 
 |     "defines" : [ | 
 |         "IBEX", | 
 |         "SUNBURST", | 
 |         "SUNBURST_SHADOW_BASE=0x30000000", | 
 |         "SUNBURST_SHADOW_SIZE=0x800", | 
 |         "ipconfigDRIVER_INCLUDED_RX_IP_CHECKSUM=1", | 
 |         "ipconfigDRIVER_INCLUDED_TX_IP_CHECKSUM=1" | 
 |     ], | 
 |     "driver_includes" : [ | 
 |         "../include/platform/sunburst", | 
 |         "../include/platform/ibex", | 
 |         "../include/platform/generic-riscv" | 
 |     ], | 
 |     "timer_hz" : 40000000, | 
 |     "tickrate_hz" : 100, | 
 |     "revoker" : "hardware", | 
 |     "stack_high_water_mark" : true, | 
 |     "simulator" : "${sdk}/../scripts/run-sonata-sim.sh", | 
 |     "simulation": true, | 
 |     "interrupts": [ | 
 |         { | 
 |             "name": "RevokerInterrupt", | 
 |             "number": 1, | 
 |             "priority": 2, | 
 |             "edge_triggered": true | 
 |         }, | 
 |         { | 
 |             "name": "EthernetInterrupt", | 
 |             "number": 2, | 
 |             "priority": 3 | 
 |         }, | 
 |         { | 
 |             "name": "UsbDevInterrupt", | 
 |             "number": 3, | 
 |             "priority": 3 | 
 |         }, | 
 |         { | 
 |             "name": "Uart0Interrupt", | 
 |             "number": 8, | 
 |             "priority": 3 | 
 |         }, | 
 |         { | 
 |             "name": "Uart1Interrupt", | 
 |             "number": 9, | 
 |             "priority": 3 | 
 |         }, | 
 |         { | 
 |             "name": "Uart2Interrupt", | 
 |             "number": 10, | 
 |             "priority": 3 | 
 |         }, | 
 |         { | 
 |             "name": "I2c0Interrupt", | 
 |             "number": 16, | 
 |             "priority": 3 | 
 |         }, | 
 |         { | 
 |             "name": "I2c1Interrupt", | 
 |             "number": 17, | 
 |             "priority": 3 | 
 |         }, | 
 |         { | 
 |             "name": "SpiLcdInterrupt", | 
 |             "number": 24, | 
 |             "priority": 3 | 
 |         }, | 
 |         { | 
 |             "name": "SpiEthmacInterrupt", | 
 |             "number": 25, | 
 |             "priority": 3 | 
 |         }, | 
 |         { | 
 |             "name": "Spi0Interrupt", | 
 |             "number": 26, | 
 |             "priority": 3 | 
 |         }, | 
 |         { | 
 |             "name": "Spi1Interrupt", | 
 |             "number": 27, | 
 |             "priority": 3 | 
 |         }, | 
 |         { | 
 |             "name": "Spi2Interrupt", | 
 |             "number": 28, | 
 |             "priority": 3 | 
 |         } | 
 |     ] | 
 | } |