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