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