{
    "devices": {
        "shadow" : {
            "start" : 0x30000000,
            "end"   : 0x30004000
        },
        "clint": {
            "start" : 0x80040000,
            "end"   : 0x80050000
        },
        "uart": {
            "start" : 0x80100000,
            "end"   : 0x80100034
        },
        "gpio" : {
            "start" : 0x80000000,
            "end"   : 0x80000020
        },
        "plic": {
            "start" : 0x88000000,
            "end"   : 0x88400000
        }
    },
    "instruction_memory": {
        "start": 0x00100080,
        "end":   0x00140000
    },
    "heap": {
        "end": 0x00140000
    },
    "interrupts": [
        {
            "name": "UartRxWatermark",
            "number": 2,
            "priority": 3,
            "edge_triggered": true
        }
    ],
    "defines" : [
        "IBEX",
        "SUNBURST",
        "SUNBURST_SHADOW_BASE=0x30000000",
        "SUNBURST_SHADOW_SIZE=0x4000"
    ],
    "driver_includes" : [
        "../include/platform/sunburst",
        "../include/platform/generic-riscv"
    ],
    "timer_hz" : 30000000,
    "tickrate_hz" : 100,
    "revoker" : "software",
    "simulation": false
}