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