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