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