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