target/virt-ast1060-evb/ipc/user/system.json5

// Licensed under the Apache-2.0 license

// ASPEED AST1060 IPC test configuration (virtual/QEMU)
// ARM Cortex-M4 with semihosting console, 768KB SRAM
// NOTE: AST1060 does not support XIP - executes from RAM starting at 0x00000000
//
// PMSAv7-Friendly Memory Layout:
//   0x00000000 - 0x000004A0: Vector table + kernel annotations (1184 bytes)
//   0x000004A0 - 0x00020000: Kernel code (~126KB, ends at 128KB boundary)
//   0x00020000 - 0x00060000: IPC app code (256KB: initiator + handler)
//   0x00060000 - 0x00080000: Kernel RAM (128KB)
//   0x00080000 - 0x00090000: IPC app RAM (64KB total)
//
// Total: 576KB, fits within AST1060's 768KB SRAM.
{
    arch: {
        type: "armv7m",
        vector_table_start_address: 0x00000000,
        vector_table_size_bytes: 1184,  // 0x4A0 (272 vectors + thread/stack annotations)
    },
    kernel: {
        flash_start_address: 0x000004A0,  // After vector table + annotations
        flash_size_bytes: 129888,         // ~126KB (ends at 0x00020000, power-of-2 boundary)
        ram_start_address: 0x00060000,    // After all flash regions (power-of-2 aligned)
        ram_size_bytes: 131072,           // 128KB
    },
    apps: [
        {
            name: "ipc",
            flash_size_bytes: 262144,     // 256KB for initiator + handler
            ram_size_bytes: 65536,        // 64KB RAM
            processes: [
                {
                    name: "initiator",
                    objects: [
                        {
                            name: "IPC",
                            type: "channel_initiator",
                            handler_process: "handler",
                            handler_object_name: "IPC",
                        }
                    ],
                    threads: [
                        {
                            name: "initiator thread",
                            stack_size_bytes: 2048,
                        },
                    ],
                },
                {
                    name: "handler",
                    objects: [
                        {
                            name: "IPC",
                            type: "channel_handler",
                        },
                    ],
                    threads: [
                        {
                            name: "handler thread",
                            stack_size_bytes: 2048,
                        },
                    ],
                },
            ],
        },
    ],
}