[
    {
        "short_name": "RP2040",
        "id": "0xe48bff56",
        "description": "Raspberry Pi RP2040"
    },
    {
        "short_name": "RP2350-ARM-S",
        "id": "0xe48bff59",
        "description": "Raspberry Pi RP2350, ARM, Secure"
    },
    {
        "short_name": "RP2350-ARM-NS",
        "id": "0xe48bff5a",
        "description": "Raspberry Pi RP2350, ARM, Non-Secure"
    },
    {
        "short_name": "RP2350-RISCV",
        "id": "0xe48bff5b",
        "description": "Raspberry Pi RP2350, RISC-V"
    }
]