Petalinux. Kernel module. Опции

[doom13]

Приветствую.
Пытаюсь сделать модуль ядра для управления AXI GPIO. По мануалу сгенерил шаблон модуля и вношу в него свои изменения. Отлаживаю работу модуля в QEMU. При загрузке модуля (insmod) выполняется функция инициализации (printk в консоль выводит сообщение) в ней происходит вызов platform_driver_register(&axi_gpio_platform_driver), которая должна "пнуть" вызов axi_gpio_probe(), но вызов axi_gpio_probe() почему-то не происходит (сообщение printk в консоль о выполнении axi_gpio_probe() не выводятся). При этом platform_driver_register(&axi_gpio_platform_driver) возвращает 0.
В чём может быть проблема?

Спасибо.

[nill]

Других идей у меня, к сожалению, нет. Возможно, что в ядре не включена поддержка device tree и тогда драйвер будет привязываться к устройству по имени DRIVER_NAME (в коде модуля), но это маловероятный вариант. Проверьте параметр CONFIG_OF в конфигурации ядра.