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