| // Licensed under the Apache-2.0 license |
| // SPDX-License-Identifier: Apache-2.0 |
| { |
| arch: { |
| type: "riscv", |
| }, |
| kernel: { |
| flash_start_address: 0x40000000, |
| flash_size_bytes: 65536, |
| ram_start_address: 0x40040000, |
| ram_size_bytes: 32768, |
| interrupt_table: { |
| table: {} |
| }, |
| }, |
| apps: [ |
| { |
| name: "syscall_latency", |
| flash_size_bytes: 32768, |
| processes: [ |
| { |
| name: "syscall_latency", |
| ram_size_bytes: 4096, |
| memory_mappings: [ |
| { |
| name: "mci", |
| type: "device", |
| start_address: 0x21000000, |
| size_bytes: 0x100, |
| }, |
| ], |
| threads: [ |
| { |
| name: "syscall_latency", |
| kernel_stack_size_bytes: 4096, |
| }, |
| ], |
| }, |
| ], |
| }, |
| ], |
| } |