axi_gpio0_init(void) и
axi_gpio0_exit(void) можно выбросить вместе с
module_init/module_exit и использовать вместо них макрос
module_platform_driver(axi_gpio0_driver). Это не обязательно, но чаще делают именно так - код получается немного проще. В device tree должно быть строка .compatible = "vendor,axi_gpio0". Я бы заменил её на что-нибудь уникальное во избежание накладок.
Цитата(doom13 @ Apr 8 2016, 13:39)

... не даёт зайти в каталог, переходит сразу в каталог /sys/firmware/devicetree/base (или так и надо?).
Тут ничего не могу сказать, поскольку не работал с petalinux и не знаю, как они там всё устроили. Похоже, что /proc/device-tree - это симлинк, но сути это не меняет. Ищите в /sys, ести Вас туда выводят.