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.
We currently are supporting the Wandboard Quad (from Wandboard)
Sounds interesting. We could really use a working Wandboard Quad. What device drivers do you intended to make available for it? We could really use USB and the framebuffer.
So far we have the following devices working on the seL4 kernel for the Wandboard. These are as native threads: - serial (of course) - networking - GPIO - I released the beginning of a framebuffer driver, available in [1]
We are trying to reproduce an ARM version of a demonstration that we have fully working on an Intel ATOM-based UP board. Our demo uses the framebuffer (we drive a small HDMI display), our native port of the Adafruit FT232H, USB (for mouse and keyboard), the timer, logging, and networking all via native Genode drivers.
We're looking for a seL4/Genode platform with a modern ARM CPU that supports this functionality. It's all about the drivers. Right now we're stalled on USB support and the framebuffer. We have everything else working.
If you have made any progress along the same lines or would like a starting point for your work, perhaps we could share notes.
[1] https://github.com/sand7000/genode
-
Adam Wiethuechter -
Edward Sandberg