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(a)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(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au>
>
> seL4 Foundation, birgit(a)sel4.systems<mailto:birgit@sel4.systems>
>
> 0433 880 571
>
>
>
> Mon 9am-5pm
>
> Wed 9am-12pm
>
> Fri 9am-5pm
>
> _______________________________________________
> Devel mailing list -- devel(a)sel4.systems
> To unsubscribe send an email to devel-leave(a)sel4.systems
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(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au>
seL4 Foundation, birgit(a)sel4.systems<mailto:birgit@sel4.systems>
0433 880 571
Mon 9am-5pm
Wed 9am-12pm
Fri 9am-5pm
Hi all
A friendly reminder that the seL4 developer hangout is on again this week:
Wed, Feb 8, 6am (UTC), Topics: (open)
* Sydney: Wed, Feb 8, 5pm
* Central Europe: Wed, Feb 8, 7am
* US Pacific Time: Tue, Feb 7, 10pm
Calendar: https://sel4.systems/contact/
Zoom link: https://unsw.zoom.us/j/82640784431
cheers
Birg
---
Dr. Birgit Brecknell
Project Officer
Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au>
seL4 Foundation, birgit(a)sel4.systems<mailto:birgit@sel4.systems>
0433 880 571
Mon 9am-5pm
Wed 9am-12pm
Fri 9am-5pm
> On 25 Jan 2023, at 11:19, Demi Marie Obenour <demiobenour(a)gmail.com> wrote:
>
> On 1/22/23 17:08, Birgit Brecknell wrote:
>> Hi all
>>
>> A friendly reminder that the seL4 developer hangout is on again this week:
>>
>> Tue, Jan 24, 9pm (UTC), Topics: (open)
>>
>> * Sydney: Wed, Jan 25, 8am
>> * Central Europe: Tue, Jan 24, 10pm
>> * US Pacific Time: Tue, Jan 24, 1pm
>>
>> Zoom link: https://unsw.zoom.us/j/82640784431
>>
>> cheers
>> Birg
>
> When is the next one? Is there a calendar I can subscribe to?
There is!
https://sel4.systems/contact/
has the web view of the calendar, and
https://calendar.google.com/calendar/u/0?cid=NXNybzFhaGtodDNsb2NuaGRxMnFmbD…
is the direct calendar link.
Cheers,
Gerwin
On 1/22/23 17:08, Birgit Brecknell wrote:
> Hi all
>
> A friendly reminder that the seL4 developer hangout is on again this week:
>
> Tue, Jan 24, 9pm (UTC), Topics: (open)
>
> * Sydney: Wed, Jan 25, 8am
> * Central Europe: Tue, Jan 24, 10pm
> * US Pacific Time: Tue, Jan 24, 1pm
>
> Zoom link: https://unsw.zoom.us/j/82640784431
>
> cheers
> Birg
When is the next one? Is there a calendar I can subscribe to?
--
Sincerely,
Demi Marie Obenour (she/her/hers)
Hi all
A friendly reminder that the seL4 developer hangout is on again this week:
Tue, Jan 24, 9pm (UTC), Topics: (open)
* Sydney: Wed, Jan 25, 8am
* Central Europe: Tue, Jan 24, 10pm
* US Pacific Time: Tue, Jan 24, 1pm
Zoom link: https://unsw.zoom.us/j/82640784431
cheers
Birg
---
Dr. Birgit Brecknell
Project Officer
Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au>
seL4 Foundation, birgit(a)sel4.systems<mailto:birgit@sel4.systems>
0433 880 571
Mon 9am-5pm
Wed 9am-12pm
Fri 9am-5pm
Hi all
A friendly reminder that the seL4 developer hangout is on again this week:
Wed, Dec 14, 6am (UTC), Topics: (open)
* Sydney: Wed, Dec 14, 5pm
* Central Europe: Wed, Dec 14, 7am
* US Pacific Time: Tue, Dec 13, 10pm
Zoom link: https://unsw.zoom.us/j/82640784431
cheers
Birg
---
Dr. Birgit Brecknell
Project Officer
Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au>
seL4 Foundation, birgit(a)sel4.systems<mailto:birgit@sel4.systems>
0433 880 571
Mon 9am-5pm
Wed 9am-12pm
Fri 9am-5pm
Hi all
A friendly reminder that the seL4 developer hangout is on again this week:
Tue, Nov 29, 9pm (UTC), Topics: (open)
* Sydney: Wed, Nov 30, 8am
* Central Europe: Tue, Nov 29, 10pm
* US Pacific Time: Tue, Nov 29, 1pm
Zoom link: https://unsw.zoom.us/j/82640784431
cheers
Birg
---
Dr. Birgit Brecknell
Project Officer
Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au>
seL4 Foundation, birgit(a)sel4.systems<mailto:birgit@sel4.systems>
0433 880 571
Mon 9am-5pm
Wed 9am-12pm
Fri 9am-5pm
Hi all
A friendly reminder that the seL4 developer hangout is on again this week:
Wed, Nov 16, 6am (UTC), Topics: (open)
* Sydney: Wed, Nov 16, 5pm
* Central Europe: Wed, Nov 16, 7am
* US Pacific Time: Tue, Nov 15, 10pm
Zoom link: https://unsw.zoom.us/j/82640784431
cheers
Birg
---
Dr. Birgit Brecknell
Project Officer
Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au>
seL4 Foundation, birgit(a)sel4.systems<mailto:birgit@sel4.systems>
0433 880 571
Mon 9am-5pm
Wed 9am-12pm
Fri 9am-5pm
Hi all
A friendly reminder that the seL4 developer hangout is on again next week:
Tue, Nov 1, 9pm (UTC), Topics: (open)
* Sydney: Wed, Nov 2, 8am
* Central Europe: Tue, Nov 1, 10pm
* US Pacific Time: Tue, Nov 1, 2pm
Zoom link: https://unsw.zoom.us/j/82640784431
cheers
Birg
---
Dr. Birgit Brecknell
Project Officer
Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au>
seL4 Foundation, birgit(a)sel4.systems<mailto:birgit@sel4.systems>
0433 880 571
Mon 9am-5pm
Wed 9am-12pm
Fri 9am-5pm