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