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