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