Hello team, I caught up late with tools installation, just wish to check if docker is installed correctly as per the message in the terminal, so can proceed with OpenFASOC.

It seems docker is installed properly. If you want to verify whether OpenFASOC image was installed correctly, there is a test script which will try placing an NMOS.

Ok