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