#include "hal/system.h"

void hal_system_reboot(void) {
}