Not all of AdaCore’s libraries are in GPL: their drivers are for example in BSD-3: https://github.com/AdaCore/Ada_Drivers_Library/blob/master/R...