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