This is a a little script I have that should be somewhere public. It
simply lists all of the connected workers, but is very useful when used
in conjunction with parallel-ssh to run commands on every worker at once.
Signed-off-by: Ross Burton <ross.burton@arm.com>
Signed-off-by: Richard Purdie <richard.purdie@linuxfoundation.org>
