Jonathan, DornerWorks has successfully added support for 64-bit, x86 VMs for a customer project, and have run 64-bit buildroot and centos images. Unfortunately, we can’t open source the work until we get customer approval. However, once we get the green light, we plan on making pull requests to get everything mainlined ASAP, because this support did require kernel changes. If you have any questions, feel free to give me an email. Chris Guikema DornerWorks Get Outlook for iOShttps://aka.ms/o0ukef ________________________________ From: Devel on behalf of J Call Sent: Friday, April 10, 2020 6:29 PM To: devel@sel4.systems Subject: [seL4] Support for 64-bit virtual machines on x86-64 CAUTION: This email originated from outside the organization. Do not click links or open attachments unless you recognize the sender and know the content is safe. Hi all, I’m trying to use seL4 as a hypervisor on an embedded system. This particular SBC has 32 Gb of RAM and I’d like to install a couple of CentOS 8 64bit VMs side by side, but would like the vm’s to take advantage of more than 4Gb of RAM. Is there any word on seL4 supporting 64-bit virtual machines on the x86-64 architecture one day? Sincerely, Jonathan _______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel