{
    "devices": {
        "clint": {
            "start": 0x2000000,
            "length": 0x10000
        },
        "uart": {
            "start": 0x10000000,
            "end":   0x10000100
        },
        "shadow" : {
            "start" : 0x83000000,
            "end"   : 0x83001000
        }
    },
    "instruction_memory": {
        "start": 0x80000000,
        "end": 0x80040000
    },
    "heap": {
        "end": 0x80040000
    },
    "interrupts": [
        {
            "name": "FakeInterrupt",
            "number": 4,
            "priority": 2
        }
    ],
    "defines" : "SAIL",
    "driver_includes" : [
        "../include/platform/generic-riscv"
    ],
    "timer_hz" : 2000,
    "tickrate_hz" : 10,
    "revoker" : "software",
    "stack_high_water_mark" : true,
    "simulator" : "cheriot_sim",
    "simulation": true
}