ref: 4de9d8a511c1403ef849147e82b54af3bdbd4e3e dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot