search

seL4 / camkes

Component Architecture test suite and example apps.
https://docs.sel4.systems/CAmkES/
Other
27 stars 37 forks source link

changes for generic imx8m #9

Closed ridale closed 5 years ago

ridale commented 5 years ago

Change set for generic imx8m platform, tested on aarch32 - imx8mm and imx8mq aarch64 - imx8mm and imx8mq

ridale commented 5 years ago

commited