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