I understand that there have been exceptions made for Apache projects to allow GPL support tools into Apache project. I would not have any difficulty granting those repositories to the project. But I cannot comfortably use the github NuttX repository.
The GPL projects no longer exist. I keep snapshots because they are necessary to NuttX and are not generally available elsewhere (without a bit of Googling): e.g. kcoinfig-frontends. I also have some snapshots of old GPL tools that runs with NuttX; newer versions probably do not: Eg., genromfs. There are other necessary tarballs there just to support on-stop-shopping: E.g., gperf
There are also custom implementations for NuttX that leverage GPL code but for which there is no upstream project like the NuttX host nxfuse implementation.
And all of the buildtest files are there. No, there is nothing that can be moved upstream.