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