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