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