#include "system.h"

#include "esp_system.h"

void reboot()
{
    fflush(stdout);
    esp_restart();
}