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