bsp.h

Go to the documentation of this file.

/*
 * Copyright (C) 2026 Kamil Lulko <kamil.lulko@gmail.com>
 *
 * SPDX-License-Identifier: GPL-3.0-or-later
 *
 * This file is part of oveRTOS.
 */
 
/*
 * Backward-compatibility shim — maps old ove_bsp_*() API to the new
 * split modules (board, gpio, led).  Existing application code continues
 * to compile unchanged.
 */
 
#ifndef OVE_BSP_H
#define OVE_BSP_H
 
#include "ove_config.h"
#include "ove/board.h"
#include "ove/gpio.h"
#include "ove/led.h"
 
#ifdef __cplusplus
extern "C" {
#endif
 
/* Re-export the IRQ types so callers that only included bsp.h still see them */
#ifndef OVE_GPIO_H
typedef enum {
    OVE_GPIO_IRQ_RISING = 0x01,  
    OVE_GPIO_IRQ_FALLING = 0x02, 
    OVE_GPIO_IRQ_BOTH = 0x03,    
} ove_gpio_irq_mode_t;
 
typedef void (*ove_gpio_irq_cb)(unsigned int port, unsigned int pin, void *user_data);
#endif
 
#ifdef CONFIG_OVE_BSP
 
static inline int ove_bsp_board_init(void)
{
    return ove_board_init();
}
 
static inline void ove_bsp_led_set(unsigned int led, int on)
{
    ove_led_set(led, on);
}
 
static inline void ove_bsp_led_toggle(unsigned int led)
{
    ove_led_toggle(led);
}
 
static inline int ove_bsp_gpio_set(unsigned int port, unsigned int pin, int value)
{
    return ove_gpio_set(port, pin, value);
}
 
static inline int ove_bsp_gpio_get(unsigned int port, unsigned int pin)
{
    return ove_gpio_get(port, pin);
}
 
static inline int ove_bsp_gpio_irq_register(unsigned int port, unsigned int pin,
                        ove_gpio_irq_mode_t mode, ove_gpio_irq_cb callback,
                        void *user_data)
{
    return ove_gpio_irq_register(port, pin, mode, callback, user_data);
}
 
static inline int ove_bsp_gpio_irq_enable(unsigned int port, unsigned int pin)
{
    return ove_gpio_irq_enable(port, pin);
}
 
static inline int ove_bsp_gpio_irq_disable(unsigned int port, unsigned int pin)
{
    return ove_gpio_irq_disable(port, pin);
}
 
static inline int ove_bsp_gpio_irq_unregister(unsigned int port, unsigned int pin)
{
    return ove_gpio_irq_unregister(port, pin);
}
 
#else /* !CONFIG_OVE_BSP */
 
static inline int ove_bsp_board_init(void)
{
    return OVE_OK;
}
static inline void ove_bsp_led_set(unsigned int led, int on)
{
    (void)led;
    (void)on;
}
static inline void ove_bsp_led_toggle(unsigned int led)
{
    (void)led;
}
static inline int ove_bsp_gpio_set(unsigned int port, unsigned int pin, int value)
{
    (void)port;
    (void)pin;
    (void)value;
    return OVE_ERR_NOT_SUPPORTED;
}
static inline int ove_bsp_gpio_get(unsigned int port, unsigned int pin)
{
    (void)port;
    (void)pin;
    return OVE_ERR_NOT_SUPPORTED;
}
static inline int ove_bsp_gpio_irq_register(unsigned int port, unsigned int pin,
                        ove_gpio_irq_mode_t mode, ove_gpio_irq_cb callback,
                        void *user_data)
{
    (void)port;
    (void)pin;
    (void)mode;
    (void)callback;
    (void)user_data;
    return OVE_ERR_NOT_SUPPORTED;
}
static inline int ove_bsp_gpio_irq_enable(unsigned int port, unsigned int pin)
{
    (void)port;
    (void)pin;
    return OVE_ERR_NOT_SUPPORTED;
}
static inline int ove_bsp_gpio_irq_disable(unsigned int port, unsigned int pin)
{
    (void)port;
    (void)pin;
    return OVE_ERR_NOT_SUPPORTED;
}
static inline int ove_bsp_gpio_irq_unregister(unsigned int port, unsigned int pin)
{
    (void)port;
    (void)pin;
    return OVE_ERR_NOT_SUPPORTED;
}
 
#endif /* CONFIG_OVE_BSP */
 
#ifdef __cplusplus
}
#endif
 
#endif /* OVE_BSP_H */