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
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.brecknell@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.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