rpi4_desc.c

/**
 * SPDX-License-Identifier: Apache-2.0
 * Copyright (c) Bao Project and Contributors. All rights reserved.
 */

#include <platform.h>

struct platform platform = {
    .cpu_num = 4,
    .region_num = (RPI4_MEM_GB > 1) ? 2: 1,
    .regions =  (struct mem_region[]) {
        {   
            /* 
             * - 0x8000 at the bottom reserved for atf
             * - 0x4c00000 (76 MiB) at the top reserved for gpu (depends on gpu_mem in config.txt.
             * this is the default)
             */
            .base = 0x80000,
            .size = 0x40000000 - 0x80000 - 0x4c00000,
        },
        {
            .base = 0x40000000,
            .size = ((RPI4_MEM_GB-1) * 0x40000000ULL) - 0x4000000,
        },
    },

    .console = {
        .base = 0xfe215000,
    },

    .arch = {
        .gic = {
            .gicd_addr = 0xff841000,
            .gicc_addr = 0xff842000,
            .gich_addr = 0xff844000,
            .gicv_addr = 0xff846000,
            .maintenance_id = 25,
        },
    },
};