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