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