wm: teppich

ref: 9fc305ae0d3dcde4bc1e0d62dd7dd52e53862f11
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 */
}