Hi, In general terms I agree; We are relying on the https://github.com/gem5/gem5/blob/develop/configs/example/arm/baremetal.py platform for its capability of loading several binaries as extras without needing to know what those binaries actually are (ish). We use it in different scenarios (for example when using TFA or Xen).
About your specific problem, I don’t know seL4, but as far as I can see from the docs https://docs.sel4.systems/Hardware/ we don’t support any of those ARM platforms (our platforms are variations of the Versatile Express family). With Linux you are pretty flexible thanks to FDTs; I am honestly not aware on the configurability of seL4, if it is employing such a flexible scheme or if it is quite strict, which leaves you to the task of either porting seL4 to gem5 or to define a seL4 supported platform in gem5 Please let us know if you succeed in any of those tasks or if you find a workaround to the problem Kind Regards Giacomo From: Gabe Black via gem5-dev <gem5-dev@gem5.org> Sent: 12 November 2020 11:02 To: gem5 Developer List <gem5-dev@gem5.org> Cc: bodu...@utexas.edu; Gabe Black <gabe.bl...@gmail.com> Subject: [gem5-dev] Re: seL4 on gem5 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<mailto: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<mailto:gem5-dev@gem5.org> To unsubscribe send an email to gem5-dev-le...@gem5.org<mailto:gem5-dev-le...@gem5.org> %(web_page_url)slistinfo%(cgiext)s/%(_internal_name)s IMPORTANT NOTICE: The contents of this email and any attachments are confidential and may also be privileged. If you are not the intended recipient, please notify the sender immediately and do not disclose the contents to any other person, use it for any purpose, or store or copy the information in any medium. Thank you.
_______________________________________________ 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
