37#ifndef LIBBSP_AARCH64_RASPBERRYPI_4_BSP_H
38#define LIBBSP_AARCH64_RASPBERRYPI_4_BSP_H
56BSP_START_TEXT_SECTION
void raspberrypi_4_setup_mmu_and_cache(
void);
57BSP_START_TEXT_SECTION
void rpi_setup_secondary_cpu_mmu_and_cache(
void );
63#define BSP_FDT_IS_SUPPORTED
64extern const unsigned char bcm2711_rpi_4_b_dtb[];
65extern const size_t bcm2711_rpi_4_b_dtb_size;
67#define BSP_ARM_GIC_CPUIF_BASE 0xFF842000
68#define BSP_ARM_GIC_DIST_BASE 0xFF841000
This header file provides the default definition of BSP_INITIAL_EXTENSION.
This header file defines the RTEMS Classic API.