ref: 4849aeb11a8c70819b236faceb4424557f35fafe dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot