Hi Anna,
Thank you for the clarification.
There's minimal documentation available from the
odroid-exynos platforms
Yes, unfortunately that has been my experience as well. This is especially
true for the provided bootloader (which is sufficient to boot into sel4 in
hyp mode, but making changes, i.e. to the secure world initialization, is
very difficult without access to the source code).
I look forward to the port whenever you get around to it!
Grant.
On Thu, Sep 6, 2018, 6:50 PM <Anna.Lyons(a)data61.csiro.au> wrote:
Hi Grant,
Yes, currently seL4 only supports 32-bit guests. This is something we are
working on ameliorating in the future, keep an eye on our upcoming
releases.
I have an odroid-xu4 on my desk at the moment, as it will soon become a
supported platform, but I haven't started the port yet. However I
suspect it will only require minor changes to the exynos5410
(odroid-xu) which we already have arm hyp support for. The porti s
scheduled to occur by the end of the year at the moment.
I don't think its very different from the xu4, and might work with only a
few tweaks - they both have cortex-a15's. There's minimal documentation
available from the odroid-exynos platforms unless you sign an NDA with Samsung,
so I've only got the device tree in the hardkernel linux branch to go on.
Cheers,
Anna.
------------------------------
*From:* Devel <devel-bounces(a)sel4.systems> on behalf of Grant Jurgensen <
gajurgensen(a)gmail.com>
*Sent:* Thursday, 6 September 2018 3:02 AM
*To:* devel(a)sel4.systems
*Subject:* [seL4] CAmkES VMM platform support
Hi all,
I was hoping someone could clarify for me a couple of points regarding the
CAmkES VMMs. First off, I have a program I want to run under a linux VM
within CAmkES. However, it is written in a language which can be compiled
to x86-64 but not IA-32. The impression I have gotten from the
documentation and the examples is that the x86 CAmkES VMM only supports the
32-bit variant. Is that correct? My attempt to build the project targeting
x86_64 has been met with errors (qemu complains "Huge page not supported by
the processor").
Alternatively, said program can be compiled to ARMv6. In fact, the
ultimate goal is for this project to run on an Odroid XU4, but as that
platform is not currently supported by the CAmkES ARM VMM, I was hoping to
build up the infrastructure as much as possible by testing it on any
platform I could. The two platforms that are supported for the ARM VMM do
not seem to have support on the qemu end though, so unfortunately I have no
way of testing there either. Is it fair to assume that porting the Odroid
implementation to the Odroid XU4 would be a non-trivial undertaking, or are
they perhaps more similar than I am imagining?
Thanks,
Grant Jurgensen