tree 19462b0356d05fc1a5dca507699b685a7439df8f
parent 6de224998b2482bae13685251ef13bf76a50f5a1
author Christopher Guikema <chrisguikema@users.noreply.github.com> 1630909181 -0400
committer GitHub <noreply@github.com> 1630909181 +1000
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJhNbL9CRBK7hj4Ov3rIwAANykIAKqqtzSmQsFG2qAeHQRTHVu5
 4qq4+FeV9iCEE9u4PWTu3H5oKUuyH+t6EIbMnj8kOWD3h6XnZicCER5GpemmdQhx
 VcVm78iiAfB8pkfOphSDHVOpJbM/AO3ynu2yXQTqhU6N3UXB1Eejv+f0B+2NsTB4
 73bPhTvkJFXqW0O7JGiv2xb4Dy80j7PTcq/2R3hyMyuBByYB82IjxJ7wPHGNjanv
 5uejbxZLysf0xUp9uPwWcqOb+9v33N0cytRD+5s9+8G4beB7PI8XueZHN989Oqvm
 YD1UP2CKZqyhvulIEB1EOnrwXqigrUj+I3xRHBB+oVAoGN04kpWUueGsnpw0vHk=
 =2/5u
 -----END PGP SIGNATURE-----
 

sel4utils: properly cache ept pages (#43)

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.

Signed-off-by: Chris Guikema <chris.guikema@dornerworks.com>