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