Hello, I recently came across this project on github and 01.org. I have a question regarding how memory protection is enabled for example kernel code pages. I have following questions. 1. What are the initial access permissions for the guest pages? 2. I could not see how a policy like config/ikgt/ memory/kernel-code/enable is processed by the handler and enabled for ept violation upon writing to it. Thanks Sai