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