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