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