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