23 Aug
2018
23 Aug
'18
4:42 a.m.
https://puri.sm/shop/librem-5/
A seL4 port for that platform might be nice...
--
cmr
http://octayn.net/
+16038524272
23 Aug
23 Aug
12:47 p.m.
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(a)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
4:09 p.m.
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(a)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
1367
days inactive
1367
days old
2 comments
2 participants
participants (2)
-
Chris Guikema -
Corey Richardson