#ifndef HAL_SYSTEM_H
#define HAL_SYSTEM_H

void hal_system_reboot(void);

#endif