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