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