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