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