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