FPGA registers access from Linux kernel on OPOS93 SP
From ArmadeusWiki
Introduction
Users should be able to develop their own Linux driver for their custom IPs through FlexIO Armabus.
gpio-flexio-armabus example Linux driver
You can find an example driver in your Linux build repository under drivers/gpio/gpio-flexio-armabus.c