ref: 19b026bdbbe297c3d404f883b27409ae036c8a42 dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot