ref: 97a5e60d0ea308c82500dfeea66e5617bf6d5fa7 dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot