{
    "devices": {
        "clint": {
            "start"  : 0x2000000,
            "length" : 0x10000
        },
        "plic": {
            "start"  : 0x60000000,
            "length" : 0x400000
        },
        "uart": {
            "start": 0x54000000,
            "end":   0x54000100
        },
        "i2s": {
            "start": 0x54100000,
            "length": 0x40
        },
        "ml_top_core": {
            "start": 0x5C000000,
            "length": 0x40
        },
        "ml_top_dmem": {
            "start": 0x5A000000,
            "length": 0x400000
        },
        "mailbox_smc": {
            "start": 0x540F1000,
            "length": 0x40
        },
        "shadow" : {
            "start": 0x50080000,
            "length": 0x2000
        }
    },
    "instruction_memory": {
        "start": 0x50000000,
        "end": 0x50080000
    },
    "heap": {
        "start": 0x50078000,
        "end": 0x50080000
    },
    "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": "MailboxWtInterrupt",
            "number": 30,
            "priority": 3
        },
        {
            "name": "MailboxRtInterrupt",
            "number": 31,
            "priority": 3
        },
        {
            "name": "MailboxEInterrupt",
            "number": 32,
            "priority": 3
        },
        {
            "name": "UartRxWatermark",
            "number": 2,
            "priority": 3,
            "edge_triggered": true
        }
    ],
    "defines" : [ "SENCHA" ],
    "driver_includes" : [
        "${sdk}/include/platform/sencha",
        "${sdk}/include/platform/generic-riscv"
    ],
    "timer_hz" : 2000,
    "tickrate_hz" : 10,
    "revoker" : "software",
    "stack_high_water_mark" : true,
    "run_command" : "cheriot_sim",
    "simulation": true
}