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