#include <syslinux/reboot.h>
#include <string.h>
int main(int argc, char *argv[])
{
int warm = 0;
int i;
for (i = 1; i < argc; i++) {
if (!strcmp(argv[i], "-w") || !strcmp(argv[i], "--warm"))
warm = 1;
}
syslinux_reboot(warm);
}