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 <[email protected]> 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 <[email protected]> on behalf of Grant Jurgensen < > [email protected]> > *Sent:* Thursday, 6 September 2018 3:02 AM > *To:* [email protected] > *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 >
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
