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