bsp.h

/*
 * 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);
}
 
#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; }
 
#endif /* CONFIG_OVE_BSP */
 
#ifdef __cplusplus
}
#endif
 
#endif /* OVE_BSP_H */