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