wm: teppich

ref: 1596ae1c7437f8929243999919c8cc649359236d
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 */
}