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