Yes, the FPGA's datasheet lists registers that are mapped.
I am not sure where do I specify the base address at which the FPGA's is is mapped.
So far, I think I have to create a device for FPGA in the Flat Device Tree and the kernel learns the base address from there. This means that the actual mapping has to take place before kernel is booted, so somewhere in u-boot maybe?
|