On 09/13/2017 12:04 PM, Michael DeFrancis wrote:

To the sel4 development community:

I am working on porting the sel4 virtual machine from the tk1 to a variety of arm hardware platforms, starting with the Xilinx parts listed below – and I could use some help getting started.

I have the following hardware:

- Tegra tk1

- Xilinx zynq7000 (zc706)

- Xilinx zynq9000 (zcu102)

I am successfully ported the 64 bit sel4 kernel to run on the zynq9000, but now I need to port the arm/vmm to run on the zynq9000 hardware as well. I am happy to share these updates with the sel4 community at large. I am uncertain what the best way to do this is – should I submit all of the changes to github, or is there another development repository?

When you say you ported the 64 bit seL4 kernel to run on the zynq9000, what do you mean? The kernel with SMMU support and the supporting libraries? DornerWorks has completed the basic aarch32/aarch64 zynqmp(/zynq9000/zcu102) support along with all the additional library functionality to pass the seL4test application and is preparing to upstream it in the next couple of days. I'm not sure what the best way to coordinate between the two of us to get this functionality upstreamed without stepping on each other's toes would be. We are working on the SMMU functionality required for VMM support, but unfortunately the SMMU of the TK1 is quite a bit different from the zynqmp, so it is going to take some time, but if you already have this done, that would be wonderful and would save us some work.

I would like to first port the arm/vmm from https://github.com/SEL4PROJ/camkes-arm-vmto the zynq7000 https://github.com/SEL4PROJ/camkes-arm-vm%20to%20the%20zynq7000 for testing,

zynq7000 does not have an SMMU or virtualization extensions, which I believe are required for virtualization with seL4.

before porting it to the 64 bit zynq9000 platform. Could someone please put me

I'm fairly sure that hypervisor support is currently only available for aarch32, so an intermediate step would be to port it to the zcu102 running in 32-bit mode.

in touch with the author of the arm/vmm that is designed to run on the tegra/tk1 hardware? I have some specific questions to ask regarding platform-specific files. At a high level, I know that I need to change the addresses of peripherals that are passed to my linux kernel (buildroot) for the zynq7000, but I am uncertain where to start. If someone could point me in the right direction, that would be very helpful. Further, if I could talk to a real person about this over the phone, that would be even better. My work phone is (1)(301)294-5263 and my cell phone is (1)(571)271-7278 – feel free to call me and leave me a message.

Could you possibly post your questions to the mailing list? I'm sure there are others (including us) who would benefit from the having them answered in a publicly accessible location. Since we seem to be working toward the same goal, let us know how we can best organize our two efforts. Nathan Studer DornerWorks, Ltd.

I have not posted to devel@sel4.systems mailto:devel@sel4.systems previously, though I have been working on the sel4 project for a few months now. I work for Intelligent Automation Inc. in Rockville, Maryland – USA.

-------------------------------------------------------------------------------- This message and all attachments are PRIVATE, and contain information that is PROPRIETARY to Intelligent Automation, Inc. You are not authorized to transmit or otherwise disclose this message or any attachments to any third party whatsoever without the express written consent of Intelligent Automation, Inc. If you received this message in error or you are not willing to view this message or any attachments on a confidential basis, please immediately delete this email and any attachments and notify Intelligent Automation, Inc.

_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel