Re: [seL4] interesting i.MX8 hardware

2018-08-23 Thread Corey Richardson
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

Re: [seL4] interesting i.MX8 hardware

2018-08-23 Thread Chris Guikema
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

Re: [seL4] Demo build

2018-08-23 Thread Kent.Mcleod
​I added a check to only use the flag if it is supported, so once that propagates to the external repositories it should stop being an issue for you. The purpose of --reproducible is for generating identical binaries on subsequent rebuilds, so it isn't a critical flag. In the meantime, you