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
Sent: 12 November 2020 11:02
To: gem5 Developer List
Cc: bodu...@utexas.edu; Gabe Black
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
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