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