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