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