genode-sel4-arm -- Genode OS and the seL4 micro-kernel on physical ARM hardware

[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.
<adam.wiethuechter at critical.com>

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20180918/2e6d801a/attachment.html>