#ifndef __PLATFORM_H__
#define __PLATFORM_H__

//#include <stdint.h>

void platform_init(void);

#endif /* __PLATFORM_H__ */