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