{
    "devices": {
        "clint": {
            "start"  : 0x2000000,
            "length" : 0x10000
        },
        "plic": {
            "start"  : 0x48000000,
            "length" : 0x400000
        },
        "uart": {
            "start": 0x40000000,
            "end":   0x40000100
        },
        "i2s": {
            "start": 0x54100000,
            "length": 0x40
        },
        "ml_top_core": {
            "start": 0x5C000000,
            "length": 0x40
        },
        "ml_top_dmem": {
            "start": 0x5A000000,
            "length": 0x400000
        },
        "gpio": {
            "start": 0x40040000,
            "length": 0x40
        },
        "pinmux": {
            "start": 0x40460000,
            "length": 0x1000
        },
        "spi_host": {
            "start": 0x40300000,
            "length": 0x40
        },
        "flash_ctrl": {
            "start": 0x41000000,
            "length": 0x200
        },
        "otp": {
            "start": 0x40130000,
            "length": 0x2000
        },
        "shadow" : {
            "start": 0x10370000,
            "end":   0x10380000
        }
    },
    "instruction_memory": {
        "start": 0x10000380,
        "end": 0x10400000
    },
    "heap": {
        "start": 0x10380000,
        "end":   0x10400000
    },
    "interrupts": [
        {
            "name": "I2sRxWatermarkInterrupt",
            "number": 40,
            "priority": 3
        },
        {
            "name": "I2sTxWatermarkInterrupt",
            "number": 39,
            "priority": 3
        },
        {
            "name": "I2sTxEmptyInterrupt",
            "number": 41,
            "priority": 3
        },
        {
            "name": "MlTopFinishInterrupt",
            "number": 34,
            "priority": 3
        },
        {
            "name": "MlTopFaultInterrupt",
            "number": 35,
            "priority": 3
        },
        {
            "name": "UartRxWatermark",
            "number": 2,
            "priority": 3,
            "edge_triggered": true
        }
    ],
    "defines" : [ "BANCHA" ],
    "driver_includes" : [
        "${sdk}/include/platform/bancha",
        "${sdk}/include/platform/sencha",
        "${sdk}/include/platform/generic-riscv"
    ],
    "timer_hz" : 2000,
    "tickrate_hz" : 10,
    "revoker" : "software",
    "stack_high_water_mark" : true,
    "simulator" : "cheriot_sim",
    "simulation": true
}