ref: 157fdba88b1a0fa00c7c0f044483fe860e7f9533 dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot