ref: 6b67914c70505187e57a2d4090c1d1c615e3d34c dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot