bsp.h

Go to the documentation of this file.

/* SPDX-License-Identifier: GPL-2.0+-with-RTEMS-exception */
 
/*
 * Copyright (c) 2015 Yang Qiao
 * Copyright (c) 2013 Alan Cudmore
 *
 *  The license and distribution terms for this file may be
 *  found in the file LICENSE in this distribution or at
 *
 *  http://www.rtems.org/license/LICENSE
 *
 */
 
#ifndef LIBBSP_ARM_RASPBERRYPI_BSP_H
#define LIBBSP_ARM_RASPBERRYPI_BSP_H
 
#include <bspopts.h>
#include <bsp/default-initial-extension.h>
 
#include <rtems.h>
#include <bsp/raspberrypi.h>
 
#ifdef __cplusplus
extern "C" {
#endif /* __cplusplus */
 
#define BSP_FEATURE_IRQ_EXTENSION
 
#if BSP_START_COPY_FDT_FROM_U_BOOT
#define BSP_FDT_IS_SUPPORTED
#endif
 
#define RPI_L2_CACHE_ENABLE 1
 
#define BSP_GPIO_PIN_COUNT 32
#define BSP_GPIO_PINS_PER_BANK 32
#define BSP_GPIO_PINS_PER_SELECT_BANK 10
 
#define BSP_CONSOLE_UART0   0
#define BSP_CONSOLE_FB      1
 
void *raspberrypi_get_reg_of_node(const void *fdt, int node);
 
void rpi_init_cmdline(void);
const char *rpi_cmdline_get_cached(void);
const char *rpi_cmdline_get_raw(void);
const char *rpi_cmdline_get_arg(const char* arg);
 
void  rpi_video_init(void);
void  rpi_fb_outch  (char);
int rpi_video_is_initialized(void);
 
void rpi_ipi_initialize(void);
void rpi_start_rtems_on_secondary_processor(void);
 
#ifdef __cplusplus
}
#endif /* __cplusplus */
 
/* @} */
 
#endif /* LIBBSP_ARM_RASPBERRYPI_BSP_H */