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