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