ref: 47d3af71a33e242099a6a6130dcbe7ab4de9a895 dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot