board.h

/*
 * Copyright (C) 2026 Kamil Lulko <kamil.lulko@gmail.com>
 *
 * SPDX-License-Identifier: GPL-3.0-or-later
 *
 * This file is part of oveRTOS.
 */
 
#ifndef OVE_BOARD_H
#define OVE_BOARD_H
 
#include "ove/types.h"
#include "ove/board_types.h"
#include "ove_config.h"
 
#ifdef __cplusplus
extern "C" {
#endif
 
#ifdef CONFIG_OVE_BOARD
 
int ove_board_init(void);
 
const char *ove_board_name(void);
 
const struct ove_board_desc *ove_board_desc(void);
 
#else /* !CONFIG_OVE_BOARD */
 
static inline int ove_board_init(void) { return OVE_OK; }
static inline const char *ove_board_name(void) { return "unknown"; }
static inline const struct ove_board_desc *ove_board_desc(void) { return (const struct ove_board_desc *)0; }
 
#endif /* CONFIG_OVE_BOARD */
 
#ifdef __cplusplus
}
#endif
 
#endif /* OVE_BOARD_H */