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