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
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