Adam,
That sounds like a nice project. Maybe you could consider supporting the Ultra96 board also, it uses the same UltraScale chip but is much less expensive. I've started upstreaming patches recently to make seL4 run there.
Axel
Am 18. September 2018 20:14:55 MESZ schrieb Adam Wiethuechter
Webite -- http://genodl4arm.critical.com/ Github -- https://github.com/CriticalTechnologiesInc/genode-sel4-arm
Hello everyone,
I have something rather exciting to share with you all today that we here at Critical Technologies Inc (CTI) have been working on for sometime now - the marriage of Genode OS and seL4 on native ARM hardware. We currently are supporting the Wandboard Quad (from Wandboard) and the SabreLite (from Boundary Devices). We are hoping to continue development targeting ARMv8a boards of interest; mainly the Raspberry Pi 3B and/or the Xilinx Zynq UltraScale+ ZCU102.
This is obviously a work in progress with only the first step but we wished to share our documentation to the community for others to contribute and see what we are doing.
I am happy to answer any questions you may have.
-- 73's, Adam Wiethuechter, Jr Software Engineer Critical Technologies Inc.