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