ref: 48f53e57be61f7cee021fdb21849d4759770f722 dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot