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