{
    "devices": {
        "shadow" : {
            "start" : 0x30000000,
            "end"   : 0x30004000
        },
        "gpio" : {
            "start" : 0x80000000,
            "end"   : 0x80000020
        },
        "clint": {
            "start" : 0x80040000,
            "end"   : 0x80050000
        },
        "uart": {
            "start" : 0x80100000,
            "end"   : 0x80100034
        },
        "uart1": {
            "start" : 0x80101000,
            "end"   : 0x80101034
        },
        "uart2": {
            "start" : 0x80102000,
            "end"   : 0x80102034
        },
        "uart3": {
            "start" : 0x80103000,
            "end"   : 0x80103034
        },
        "uart4": {
            "start" : 0x80104000,
            "end"   : 0x80104034
        },
        "i2c0": {
            "start" : 0x80200000,
            "end"   : 0x80200080
        },
        "i2c1": {
            "start" : 0x80201000,
            "end"   : 0x80201080
        },
        "spi0": {
            "start" : 0x80300000,
            "end"   : 0x80301000
        },
        "spi1": {
            "start" : 0x80301000,
            "end"   : 0x80302000
        },
        "spi2": {
            "start" : 0x80302000,
            "end"   : 0x80303000
        },
        "rgbled" : {
            "start" : 0x80009000,
            "end"   : 0x80009020
        },
        "revoker": {
            "start": 0x8000A000,
            "length": 0x1000
        },
        "plic": {
            "start" : 0x88000000,
            "end"   : 0x88400000
        },
        "pwm": {
            "start" : 0x80001000,
            "length": 0x00001000
        },
        "adc": {
            "start" : 0x8000B000,
            "length": 0x00001000
        }
    },
    "instruction_memory": {
        "start": 0x00101000,
        "end":   0x00140000
    },
    "heap": {
        "end": 0x00140000
    },
    "revokable_memory_start": 0x00100000,
    "defines" : [
        "IBEX",
        "SUNBURST",
        "SUNBURST_SHADOW_BASE=0x30000000",
        "SUNBURST_SHADOW_SIZE=0x4000",
        "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" : 30000000,
    "tickrate_hz" : 100,
    "revoker" : "hardware",
    "stack_high_water_mark" : true,
    "simulator" : "${sdk}/../scripts/run-sonata.sh",
    "simulation": false,
    "interrupts": [
        {
            "name": "Uart0TxWatermark",
            "number": 1,
            "priority": 3,
            "edge_triggered": true
        },
        {
            "name": "Uart0RxWatermark",
            "number": 2,
            "priority": 3,
            "edge_triggered": true
        },
        {
            "name": "Uart0TxEmpty",
            "number": 3,
            "priority": 3,
            "edge_triggered": true
        },
        {
            "name": "Uart0RxOverflow",
            "number": 4,
            "priority": 3,
            "edge_triggered": true
        },
        {
            "name": "Uart1TxWatermark",
            "number": 9,
            "priority": 3,
            "edge_triggered": true
        },
        {
            "name": "Uart1RxWatermark",
            "number": 10,
            "priority": 3,
            "edge_triggered": true
        },
        {
            "name": "Uart1TxEmpty",
            "number": 11,
            "priority": 3,
            "edge_triggered": true
        },
        {
            "name": "Uart1RxOverflow",
            "number": 12,
            "priority": 3,
            "edge_triggered": true
        },
        {
            "name": "EthernetInterrupt",
            "number": 47,
            "priority": 3
        },
        {
            "name": "RevokerInterrupt",
            "number": 72,
            "priority": 2
        }
    ]
}