ref: 8c33ee43b10d4869168721787bd31ef4b1a1151a dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot