ref: 18207e0f7eb967b9980d657668354e56cf5f5901 dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot