hello, has anyone managed to interface a pl022 controller with Infineon 9670 on freebsd-arm? I am having difficulty in reading data from 960 registers. thanks -kamal