ref: 414d29e98f8d5242cc68161e61b66b7171e96634 dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot