On Wed, Oct 28, 2020 at 10:18 AM Bodun Hu wrote:

Hello,

I'm currently trying to set up seL4 inside the gem5 simulator to get some benchmark results. Are there any tutorials or instructions regarding how to set it up? Any tip will be appreciated!

Hi Edward, I'm not aware of any prior attempt to run seL4 inside this simulator. If you manage to be successful, then any instructions or tutorials that you may be able to provide would be greatly appreciated. Kent.

*Edward Hu* The University of Texas at Austin | Computer Science | Homepage: https:// http://goog_1605193962bodunhu.com _______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel