I might have given them the option to use their own OS (Red Star OS) at an approved location but I highly doubt they would have been able to do any actual work

I might have given them the option to use their own OS (Red Star OS) at an approved location but I highly doubt they would have been able to do any actual work on it, especially nothing official.