wm: teppich

ref: 358154f1930a7b7dfb91c8e971458a27ca3715a7
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 */
}