#include <common.h>
#include <unistd.h>
int main(int argc, char **argv)
{
printf("syncing...");
sync();
printf("done. rebooting...\n");
reboot(RB_AUTOBOOT);
return 0;
}
