ref: 5866bd5ada44d745505f57d15c1ec38d4c62ca04 dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot