I don't have a good definitive answer to your question, other than we had to limit the scope of our work and we chose a representative set of devices amongst the ones that people showed interest in. Despite its popularity in wireless security research, I don't think the HackRF is widespread in the satcom or cubesat communities.