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