The GSA program will help GAO with the backend IT development process for its new lab, including obtaining an ATO for cloud services.