20 #ifndef LIBBSP_ARM_RASPBERRYPI_BSP_H 21 #define LIBBSP_ARM_RASPBERRYPI_BSP_H 42 #define BSP_FEATURE_IRQ_EXTENSION 44 #define RPI_L2_CACHE_ENABLE 1 46 #define BSP_GPIO_PIN_COUNT 32 47 #define BSP_GPIO_PINS_PER_BANK 32 48 #define BSP_GPIO_PINS_PER_SELECT_BANK 10 50 #define BSP_CONSOLE_UART0 0 51 #define BSP_CONSOLE_FB 1 53 void rpi_init_cmdline(
void);
54 const char *rpi_cmdline_get_cached(
void);
55 const char *rpi_cmdline_get_raw(
void);
56 const char *rpi_cmdline_get_arg(
const char* arg);
58 void rpi_video_init(
void);
59 void rpi_fb_outch (
char);
60 int rpi_video_is_initialized(
void);
62 void rpi_ipi_initialize(
void);
63 void rpi_start_rtems_on_secondary_processor(
void);
DEFAULT_INITIAL_EXTENSION Support.