20#ifndef LIBBSP_ARM_RASPBERRYPI_BSP_H
21#define LIBBSP_ARM_RASPBERRYPI_BSP_H
42#define BSP_FEATURE_IRQ_EXTENSION
44#if BSP_START_COPY_FDT_FROM_U_BOOT
45#define BSP_FDT_IS_SUPPORTED
48#define RPI_L2_CACHE_ENABLE 1
50#define BSP_GPIO_PIN_COUNT 32
51#define BSP_GPIO_PINS_PER_BANK 32
52#define BSP_GPIO_PINS_PER_SELECT_BANK 10
54#define BSP_CONSOLE_UART0 0
55#define BSP_CONSOLE_FB 1
57void *raspberrypi_get_reg_of_node(
const void *fdt,
int node);
59void rpi_init_cmdline(
void);
60const char *rpi_cmdline_get_cached(
void);
61const char *rpi_cmdline_get_raw(
void);
62const char *rpi_cmdline_get_arg(
const char* arg);
64void rpi_video_init(
void);
65void rpi_fb_outch (
char);
66int rpi_video_is_initialized(
void);
68void rpi_ipi_initialize(
void);
69void rpi_start_rtems_on_secondary_processor(
void);
DEFAULT_INITIAL_EXTENSION Support.