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