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