Oh, that is good news! I was getting ready to ramp up and work on a port :) I look forward to it.
On Thu, Aug 23, 2018, at 05:47, Chris Guikema wrote: > 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 > -- cmr http://octayn.net/ +16038524272 _______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
