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