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