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