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