SPIKE-RT C API Reference [Japanese]
An RTOS-based software platform for LEGO® Education SPIKE™.
drivers.h
1/*
2 * SPDX-License-Identifier: MIT
3 *
4 * Copyright (c) 2023 Embedded and Real-Time Systems Laboratory,
5 * Graduate School of Information Science, Nagoya Univ., JAPAN
6 */
7
8#ifndef __DRIVERS_H__
9#define __DRIVERS_H__
10
11#include <kernel.h>
12
13/*
14 * Prototype declarations
15 */
16#ifndef TOPPERS_MACRO_ONLY
17
18extern void newlib_tlsf_init(void);
19
20#endif // TOPPERS_MACRO_ONLY
21
22#endif // __DRIVERS_H__