search

ssrg-vt / popcorn-kernel

Popcorn Linux kernel for distributed thread execution
Other
156 stars 22 forks source link

x86: fix hacky pte foreshadow workaround #73

Closed bxatnarf closed 5 years ago

bxatnarf commented 5 years ago

The workaround we used to address issue https://github.com/ssrg-vt/popcorn-kernel/issues/53 is a complete hack and probably subtly breaks other things. We need to patch this properly. See issue https://github.com/ssrg-vt/popcorn-kernel/issues/53 for a more in depth discussion.

bxatnarf commented 5 years ago

There is a more proper fix in https://github.com/ssrg-vt/popcorn-kernel/commit/30fd702772a43c0e095fb0c95d254009556413fb