target/earlgrey/tests/drivers/gpio/system.json5

// Licensed under the Apache-2.0 license
// SPDX-License-Identifier: Apache-2.0
{
  arch: {
    type: "riscv",
  },
  kernel: {
    flash_start_address: 0xA0010000,
    flash_size_bytes: 65536,
    ram_start_address: 0x10000000,
    ram_size_bytes: 32768,
    interrupt_table: {
      table: {}
    },
  },
  apps: [
    {
      name: "test_gpio",
      flash_size_bytes: 16384,
      processes: [
        {
          name: "test_gpio",
          ram_size_bytes: 4096,
          objects: [],
          memory_mappings: [
            {
              name: "gpio",
              type: "device",
              start_address: 0x40040000,
              size_bytes: 0x40,
            },
            {
              name: "pinmux",
              type: "device",
              start_address: 0x40460000,
              size_bytes: 0x1000,
            }
          ],
          threads: [
            {
              name: "main_thread",
              kernel_stack_size_bytes: 2048,
            },
          ],
        },
      ],
    },
  ],
}