ref: 20d397b072ab41ba56b9408ecb44d7749ff86f07 dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot