-
Alessandro Rubini authored
THe previous version of the file was not working, both because of a typo and because ppsi currently fails if wrsh_hal is not ready. This adds a polling loop to wait for the mini-rpc socket to be available. Signed-off-by: Alessandro Rubini <rubini@gnudd.com>
f7dd8e44