search

project-flexos / asplos22-ae

FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository
https://project-flexos.github.io/
16 stars 3 forks source link

toolchain: missing Kraft integration of VM/EPT backend #3

Open hlef opened 2 years ago

hlef commented 2 years ago

For now kraft does not support kraft run with the EPT backend. We should integrate it, it shouldn't be much work...