When I try to run the examples from SYSLINK I get the following error:
Unable to handle kernel paging request at virtual address 01c10a3c
I know this is an address for the MDCTL15 register from the PSC. I have the SYSLINK kernel module loaded. I also noticed that there is no entry in /proc/iomem corresponding to this, or any other of the PSC registers. It would seem this would be necessary for Linux to write to this address range.