Add cpu/events.h header for Cortex-A35

seL4 / seL4_libs

No-assurance libraries for rapid-prototyping of seL4 apps.

https://docs.sel4.systems

Other

52 stars 62 forks source link

Closed bennoleslie closed 2 years ago

bennoleslie commented 2 years ago

This closes #28

Signed-off-by: Ben Leslie benno@brkawy.com

bennoleslie commented 2 years ago

Added a reference to the A35 TRM.