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