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