ref: 88cdfe76dffb314e2d21362f39bf1088ffe68086 dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot