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