Re: [seL4] CAmkES VMM platform support

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 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 on behalf of Grant Jurgensen < gajurgensen@gmail.com> *Sent:* Thursday, 6 September 2018 3:02 AM *To:* devel@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