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