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