Giters

seL4 / sel4-tutorials

Tutorials for working with seL4 and/or CAmkES.

Home Page:https://docs.sel4.systems/Tutorials

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Not able to run camkes-vm-linux on the AMD platform

ChenYangng opened this issue · comments

commented

According to tutorials, how can I simulate on the AMD platform?

commented

Could you be more specific about this, what environment are you using and what error do you get?