Hi Anna

Just one more question. Is it possible to build the CAmkES x86 VMM in x86-64, even if it still only supports 32-bit guest operating systems? I was hoping to have some 64-bit code operating within a CAmkES component alongside the VM component which, as discussed, must be limited to a 32-bit OS at the moment.

Thanks,
Grant

On Thu, Sep 6, 2018 at 6:50 PM <Anna.Lyons@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@sel4.systems> 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