I saw the same title I posted here in the “Uncategorized” section, but I did not see a response so I thought I would move it to the CRTM category. I cloned CRTM v2.4.0 and am working my way through the setup procedure, but the Get_CRTM_Binary_Files.sh didn’t work.
Also, I’m just starting to use the CRTM and am wondering if v2.4.0 is the best version to begin with. Thanks for the help.