Hi all, I'd like to offer a short topic: status of Github repositories of Core Platform as well as repositories of seL4 with sel4CP support.
The reason I'm asking is I'm looking to add Ultra96v2 support to sel4cp. I have added the board to sel4cp (locally), but the point is that the current seL4 branch "sel4cp-core-support" is behind the seL4 mainline, so I locally applied patches with Ultr96V2 support to the branch. Eventually, all works fine, and I don't mind having a better understanding of which repositories it's reasonable to contribute. Best, Nataliya On Sun, Feb 19, 2023 at 6:10 PM Birgit Brecknell <birgit.breckn...@unsw.edu.au> wrote: > > Hi all > > A friendly reminder that the seL4 developer hangout is on again this week: > > Tue, Feb 21, 9pm (UTC), Topics: (open) > > * Sydney: Wed, Feb 22, 8am > * Central Europe: Tue, Feb 21, 10pm > * US Pacific Time: Tue, Feb 21, 1pm > > Zoom link: https://unsw.zoom.us/j/82640784431 > > cheers > Birg > > > > --- > > Dr. Birgit Brecknell > > Project Officer > > Trustworthy Systems, UNSW, > birgit.breckn...@unsw.edu.au<mailto:birgit.breckn...@unsw.edu.au> > > seL4 Foundation, birgit@sel4.systems<mailto:birgit@sel4.systems> > > 0433 880 571 > > > > Mon 9am-5pm > > Wed 9am-12pm > > Fri 9am-5pm > > _______________________________________________ > Devel mailing list -- devel@sel4.systems > To unsubscribe send an email to devel-leave@sel4.systems _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
