search

seL4 / seL4_libs

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

sel4utils: properly cache ept pages #43

Closed chrisguikema closed 2 years ago

chrisguikema commented 2 years ago

A kernel bug previously always cached EPT page regardless of the cacheable flag. When the bug was fixed, this function would always map EPT pages as uncacheable, due to the attributes difference between an EPT map and a normal page map. This commit checks if the function is mapping an EPT and provides the proper cache attribute to the kernel.

Related to https://github.com/seL4/seL4/pull/539

Signed-off-by: Chris Guikema chris.guikema@dornerworks.com

lsf37 commented 2 years ago

Good catch, thanks for that. There was a comment somewhere in the code path that claimed that the attributes were the same, which prevented me from checking further. We should track that down and add it here. I can probably do that tomorrow if you want.