/* * platform.h * * Created on: Nov 7, 2021 * Author: Jonatan */ #ifndef PLATFORM_PLATFORM_H_ #define PLATFORM_PLATFORM_H_ void platform_init(void); #endif /* PLATFORM_PLATFORM_H_ */