| { |
| "devices": { |
| "shadow" : { |
| "start" : 0x30000000, |
| "end" : 0x30004000 |
| }, |
| "gpio" : { |
| "start" : 0x80000000, |
| "end" : 0x80000020 |
| }, |
| "clint": { |
| "start" : 0x80040000, |
| "end" : 0x80050000 |
| }, |
| "uart": { |
| "start" : 0x80100000, |
| "end" : 0x80100034 |
| }, |
| "uart1": { |
| "start" : 0x80101000, |
| "end" : 0x80101034 |
| }, |
| "uart2": { |
| "start" : 0x80102000, |
| "end" : 0x80102034 |
| }, |
| "uart3": { |
| "start" : 0x80103000, |
| "end" : 0x80103034 |
| }, |
| "uart4": { |
| "start" : 0x80104000, |
| "end" : 0x80104034 |
| }, |
| "i2c0": { |
| "start" : 0x80200000, |
| "end" : 0x80200080 |
| }, |
| "i2c1": { |
| "start" : 0x80201000, |
| "end" : 0x80201080 |
| }, |
| "spi0": { |
| "start" : 0x80300000, |
| "end" : 0x80301000 |
| }, |
| "spi1": { |
| "start" : 0x80301000, |
| "end" : 0x80302000 |
| }, |
| "spi2": { |
| "start" : 0x80302000, |
| "end" : 0x80303000 |
| }, |
| "rgbled" : { |
| "start" : 0x80009000, |
| "end" : 0x80009020 |
| }, |
| "revoker": { |
| "start": 0x8000A000, |
| "length": 0x1000 |
| }, |
| "plic": { |
| "start" : 0x88000000, |
| "end" : 0x88400000 |
| }, |
| "pwm": { |
| "start" : 0x80001000, |
| "length": 0x00001000 |
| }, |
| "adc": { |
| "start" : 0x8000B000, |
| "length": 0x00001000 |
| } |
| }, |
| "instruction_memory": { |
| "start": 0x00101000, |
| "end": 0x00140000 |
| }, |
| "heap": { |
| "end": 0x00140000 |
| }, |
| "revokable_memory_start": 0x00100000, |
| "defines" : [ |
| "IBEX", |
| "SUNBURST", |
| "SUNBURST_SHADOW_BASE=0x30000000", |
| "SUNBURST_SHADOW_SIZE=0x4000", |
| "ipconfigDRIVER_INCLUDED_RX_IP_CHECKSUM=1", |
| "ipconfigDRIVER_INCLUDED_TX_IP_CHECKSUM=1" |
| ], |
| "driver_includes" : [ |
| "../include/platform/sunburst", |
| "../include/platform/ibex", |
| "../include/platform/generic-riscv" |
| ], |
| "timer_hz" : 30000000, |
| "tickrate_hz" : 100, |
| "revoker" : "hardware", |
| "stack_high_water_mark" : true, |
| "simulator" : "${sdk}/../scripts/run-sonata.sh", |
| "simulation": false, |
| "interrupts": [ |
| { |
| "name": "Uart0TxWatermark", |
| "number": 1, |
| "priority": 3, |
| "edge_triggered": true |
| }, |
| { |
| "name": "Uart0RxWatermark", |
| "number": 2, |
| "priority": 3, |
| "edge_triggered": true |
| }, |
| { |
| "name": "Uart0TxEmpty", |
| "number": 3, |
| "priority": 3, |
| "edge_triggered": true |
| }, |
| { |
| "name": "Uart0RxOverflow", |
| "number": 4, |
| "priority": 3, |
| "edge_triggered": true |
| }, |
| { |
| "name": "Uart1TxWatermark", |
| "number": 9, |
| "priority": 3, |
| "edge_triggered": true |
| }, |
| { |
| "name": "Uart1RxWatermark", |
| "number": 10, |
| "priority": 3, |
| "edge_triggered": true |
| }, |
| { |
| "name": "Uart1TxEmpty", |
| "number": 11, |
| "priority": 3, |
| "edge_triggered": true |
| }, |
| { |
| "name": "Uart1RxOverflow", |
| "number": 12, |
| "priority": 3, |
| "edge_triggered": true |
| }, |
| { |
| "name": "EthernetInterrupt", |
| "number": 47, |
| "priority": 3 |
| }, |
| { |
| "name": "RevokerInterrupt", |
| "number": 72, |
| "priority": 2 |
| } |
| ] |
| } |
