ref: 95609d520e31f3f2262764b14b8016ca940af01d dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot