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