Hi Michael, > Besides defining the hardware component and this connection in > Camkes, is there anything else I must do? I will appreciate any > guidance on this matter.
There shouldn't be anything else that you should need to do as long as the connection and the hardware component is described correctly (addresses, lengths, etc). As a sanity check, you could take a look at the generated CAmkES files to see if the dataport buffer is correctly sized. The generated files are located inside the build directory where you run ninja, and then inside folders that have the same name as the initialised components in your application. Aside from this, perhaps the peripheral has some sort of access control associated with it? Maybe a protection bit needs to be turned off before the registers can be accessed? I hope this helps. Sincerely, Damon _______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
