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