wm: teppich

ref: bf8d2e946be49881baab12468ce64b1fddc3d077
dir: /cmd/reboot.c/

View raw version
#include <x86.h>
#include <err.h>

int
reboot_main(int argc, char **argv, char *cwd)
{
	outb(KBC, 0xFE);
	return OK; /* we likely never get to here, maybe we should do noreturn */
}