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