ref: 68bba88d780d72043f1a954f3dbd12ad39bb5300 dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot