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