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