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);
62#define BSP_ARM_GIC_CPUIF_BASE 0xFF842000
63#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.