/* DF-5773 rig helper: invoke reboot(2) RB_AUTOBOOT directly from process
 * context inside the vkernel (bypasses reboot(8)'s process teardown).
 * kern_reboot -> cpu_reset() -> exit(EX_VKERNEL_REBOOT) -> monitor refork.
 */
#include <unistd.h>
#include <stdio.h>
int main(void) {
	printf("reboot2: calling reboot(2) RB_AUTOBOOT\n");
	fflush(stdout);
	reboot(0);	/* RB_AUTOBOOT */
	printf("reboot2: returned?!\n");
	return 1;
}