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