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 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.brecknell@unsw.edu.aumailto:birgit.brecknell@unsw.edu.au

seL4 Foundation, birgit@sel4.systemsmailto: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