ref: 634292c2f83c9f60440e6c56f5a380baea1d9351 dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot