ref: 6cde9b95b2a99577bc1123b85cf5de65df86f884 dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot