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