ref: 56629b2b3567a8463fcdeefd8be6f1f395bd3daa dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot