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