| { |
| "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 |
| } |
