search

seL4 / seL4_libs

No-assurance libraries for rapid-prototyping of seL4 apps.
https://docs.sel4.systems
Other
52 stars 62 forks source link

[RasPi4] Cortex-A72: add events.h #27

Closed axel-h closed 3 years ago

axel-h commented 3 years ago

This allows sel4bench for be build for RasPi4, see also https://github.com/seL4/seL4/pull/293

oliver-wm commented 3 years ago

@ssrg-bamboo test

ssrg-bamboo commented 3 years ago

Hello, I'm a bot! I'll bring this PR into Trustworthy Systems and run some tests

ssrg-bamboo commented 3 years ago

All the tests we ran have passed! Nice job!

axel-h commented 3 years ago

can we merge this, it's needed for the RasPi4 support