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