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