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