на Vala вполне можно написать ядерный модуль, чтобы использовать определения из заголовочных файлов нужно написать специальный файлик .vapi в котором будет указываться каким объявлениям из заголовка соответствует конкретный Vala код, но при этом формально Vala код никаких заголовков ядра не включает, даже если этот .vapi генерить автоматически из заголовка - это уже не исходный код, а результат работы некой проги. значит ли это что такой модуль может быть под отличной от GPLv2 лицензией?