ref: 79ff9d28bd2c3d447dfb1a7b3fb6ee5634145a7a dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot