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