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