ref: 10b456ff446704f32aa2ee237c149244fbabd81d dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot