Is there any way to boot seL4 inside gem5 (simulating aarch64 on a host of
X86_64)? I've searched for a lot of documentations but didn't find anything
remotely close to booting non-Linux OSes in gem5. I'm not sure if this is
something that requires instrumenting gem5 itself or it should work out of the
box? Any tips will be helpful.
_______________________________________________
gem5-dev mailing list -- [email protected]
To unsubscribe send an email to [email protected]
%(web_page_url)slistinfo%(cgiext)s/%(_internal_name)s
