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