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