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