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