Cory,

There may be some good news on that front! DornerWorks has ported seL4 to run on the i.MX8 already. We plan on open-sourcing everything, however we’re just waiting for permission from our customer to do so. We hope it will be soon, though.

Chris Guikema,

DornerWorks, Ltd.

From: Devel [mailto:devel-bounces@sel4.systems] On Behalf Of Corey Richardson
Sent: Thursday, August 23, 2018 12:43 AM
To: devel@sel4.systems
Subject: [seL4] interesting i.MX8 hardware

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.

https://puri.sm/shop/librem-5/

A seL4 port for that platform might be nice...

--

cmr

http://octayn.net/

+16038524272