ref: 29df7173e25df1922686ac8b1c7cafb8b49c9ba9 dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot