Aurélien Jarno a porté GNAT 3.4, 4.0 et 4.1 vers GNU/kFreeBSD. Le patch a été accepté dans GCC. Il a en outre porté GNAT 3.15p vers ce système ; dans Debian, le paquet gnat 3.15p-18 prend en compte les modifications nécessaires. Les autres paquets Ada dans Debian suivront.

GNU/kFreeBSD est un système d’exploitation construit sur le noyau de FreeBSD, mais avec l’environnement utilisateur GNU (glibc, utilitaires, etc.). Il existe une distribution Debian GNU/kFreeBSD en cours de développement.

Les paquets Debian gnat-3.4, gnat-4.0 et gnat-4.1 incorporent d’ores et déjà ce patch.