Some ISAs have the ability to boot a "bare metal" system, which I think basically means anything that the ELF loader can handle. I'm pretty sure ARM supports this, and has an example config using it in the configs directory. I think we're getting pretty close to being able to set up a new type of full system workload at the same level of support as Linux or FreeBSD, although we haven't tried adding a totally new OS using those interfaces yet so they might not have all the degrees of freedom you might need. I'm also not sure what level that support is at in the current release branch, although that was checked in a while ago and so should be there at least mostly. You can take a look at the Workload code in the src/sim directory and how it's applied to Linux, etc, if you want to set up something similar for your other OS. If not, or if that doesn't work for some reason, then bare metal is probably your next best bet.
Gabe On Wed, Nov 11, 2020 at 2:17 PM bodunhu--- via gem5-dev <gem5-dev@gem5.org> wrote: > 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 -- gem5-dev@gem5.org > To unsubscribe send an email to gem5-dev-le...@gem5.org > %(web_page_url)slistinfo%(cgiext)s/%(_internal_name)s >
_______________________________________________ gem5-dev mailing list -- gem5-dev@gem5.org To unsubscribe send an email to gem5-dev-le...@gem5.org %(web_page_url)slistinfo%(cgiext)s/%(_internal_name)s