wm: teppich

ref: 87aea719c1983d7a9c5297d4a52630d8b8dbe5ea
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 */
}