| { |
| "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": 0x83000000, |
| "end": 0x83010000 |
| } |
| }, |
| "instruction_memory": { |
| "start": 0x80000000, |
| "end": 0x80400000 |
| }, |
| "heap": { |
| "start": 0x80380000, |
| "end": 0x80400000 |
| }, |
| "interrupts": [ |
| { |
| "name": "UARTInterrupt", |
| "number": 2, |
| "priority": 3, |
| "edge_triggered": true |
| }, |
| { |
| "name": "I2sRxWatermarkInterrupt", |
| "number": 3, |
| "priority": 3 |
| }, |
| { |
| "name": "I2sTxWatermarkInterrupt", |
| "number": 4, |
| "priority": 3 |
| }, |
| { |
| "name": "I2sTxEmptyInterrupt", |
| "number": 5, |
| "priority": 3 |
| }, |
| { |
| "name": "MlTopFinishInterrupt", |
| "number": 6, |
| "priority": 3 |
| }, |
| { |
| "name": "MlTopFaultInterrupt", |
| "number": 7, |
| "priority": 3 |
| }, |
| { |
| "name": "MailboxRtInterrupt", |
| "number": 8, |
| "priority": 3 |
| } |
| ], |
| "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, |
| "simulator" : "cheriot_sim", |
| "simulation": true |
| } |
