28 Oct
2021
28 Oct
'21
6:09 p.m.
Hi seL4 devs,
a few of us thought it might be nice to talk more directly from time to time rather than
only via pull requests, so we're trialling a seL4 developer hangout/video chat.
The idea for this is to be:
- informal, about 1h
- for technical discussions about seL4 and related repositories
- anyone can join
- every two weeks, initially for 3 times, then we can decide how we like it
At least one or two technical steering committee (TSC) members will try to be at every one
of these, but these are not TSC meetings where formal decisions are made, just technical
discussions about whatever people have on their minds.
To provide a starting topic, one thing we'd be interested in is:
seL4 boot code
There have been quite a few pull requests in that area, and it'd be nice to know what
people's plans are and how we can keep this part of seL4 high assurance while making
it more flexible. Other topics for future meetings could be better support for other
language bindings (e.g. Rust), any RFCs that are open or people are thinking about
opening, or just discussions about current pull requests or issues.
The first hangout is on
- Sydney: Wed, Nov 3, 8am
- Central Europe: Tue, Nov 2, 10pm
- US East Coast: Tue, Nov 2, 2pm
Zoom link: https://unsw.zoom.us/j/82640784431
Cheers,
Gerwin
29 Oct
29 Oct
8:32 a.m.
On 28 Oct 2021, at 18:09, Gerwin Klein
<kleing(a)unsw.edu.au> wrote:
The first hangout is on
- Sydney: Wed, Nov 3, 8am
- Central Europe: Tue, Nov 2, 10pm
- US East Coast: Tue, Nov 2, 2pm
Apologies, it is:
- US Pacific for Tue, Nov 2, 2pm (not East Coast)
Zoom link: https://unsw.zoom.us/j/82640784431
Cheers,
Gerwin
6 Nov
6 Nov
11:28 a.m.
There is no recording, but I'm planning to put together a high-level summary and post
that next week.
Cheers,
Gerwin
On 5 Nov 2021, at 14:48, Jimmy Brush via Devel
<devel(a)sel4.systems> wrote:
Will recordings or notes from these meetings be made available?
_______________________________________________
Devel mailing list -- devel(a)sel4.systems
To unsubscribe send an email to devel-leave(a)sel4.systems
16 Nov
16 Nov
3:30 p.m.
Just confirming that the second instalment of the seL4 developer hangout is happening:
- Sydney: Wed, Nov 17, 8am
- Central Europe: Tue, Nov 16, 10pm
- US West Coast: Tue, Nov 16, 1pm
Zoom link: https://unsw.zoom.us/j/82640784431
Last time, we had 12 people joining, discussion roughly 50/50 about verification and
systems topics. We did not end up discussing boot code in great detail, because the people
who were most interested in that couldn't make it on that day, but we talked about
various stages board support for seL4, about OS personalities on top of seL4, and Nick
gave a bit of an overview of the Icecap project which uses Rust to good effect on top of
seL4. (This is not a complete list of topics, just a high-level impression)
Cheers,
Gerwin
On 28 Oct 2021, at 18:09, Gerwin Klein
<kleing(a)unsw.edu.au> wrote:
Hi seL4 devs,
a few of us thought it might be nice to talk more directly from time to time rather than
only via pull requests, so we're trialling a seL4 developer hangout/video chat.
The idea for this is to be:
- informal, about 1h
- for technical discussions about seL4 and related repositories
- anyone can join
- every two weeks, initially for 3 times, then we can decide how we like it
At least one or two technical steering committee (TSC) members will try to be at every
one of these, but these are not TSC meetings where formal decisions are made, just
technical discussions about whatever people have on their minds.
To provide a starting topic, one thing we'd be interested in is:
seL4 boot code
There have been quite a few pull requests in that area, and it'd be nice to know
what people's plans are and how we can keep this part of seL4 high assurance while
making it more flexible. Other topics for future meetings could be better support for
other language bindings (e.g. Rust), any RFCs that are open or people are thinking about
opening, or just discussions about current pull requests or issues.
The first hangout is on
- Sydney: Wed, Nov 3, 8am
- Central Europe: Tue, Nov 2, 10pm
- US East Coast: Tue, Nov 2, 2pm
Zoom link: https://unsw.zoom.us/j/82640784431
Cheers,
Gerwin
30 Nov
30 Nov
6:31 p.m.
A reminder for the 3rd seL4 developer hangout:
- Sydney: Wed, Dec 1, 8am
- Central Europe: Tue, Nov 30, 10pm
- US West Coast: Tue, Nov 30, 1pm
Zoom link: https://unsw.zoom.us/j/82640784431
Cheers,
Gerwin
14 Dec
14 Dec
4:49 p.m.
The next instalment of the seL4 developer hangout is happening as planned tomorrow.
It's the last one for this year:
- Sydney: Wed, Dec 15, 8am
- Central Europe: Tue, Dec 14, 10pm
- US West Coast: Tue, Dec 14, 1pm
Zoom link: https://unsw.zoom.us/j/82640784431
(There is also a separate meeting of the technical steering committee end of this week)
Cheers
Gerwin
11 Jan
11 Jan
6:19 p.m.
The first instalment of the seL4 developer hangout in 2022 is resuming with the regular
2-week schedule:
- Sydney: Wed, Jan 12, 8am
- Central Europe: Tue, Jan 11, 10pm
- US West Coast: Tue, Jan 11, 1pm
Zoom link: https://unsw.zoom.us/j/82640784431
Cheers,
Gerwin
23 Jan
23 Jan
6:13 p.m.
An earlier-than-usual heads-up that the seL4 developer hangout this week will be shifted
by one day, because of the public holiday in Australia.
This means, we're meeting on Wed for Europe/US and on Thu for Australia:
- Sydney: Thu, Jan 27, 8am
- Central Europe: Wed, Jan 26, 10pm
- US West Coast: Wed, Jan 26, 1pm
Zoom link: https://unsw.zoom.us/j/82640784431
Cheers,
Gerwin
25 Jan
25 Jan
5:52 p.m.
Just a reminder that seL4 dev hangout is not tomorrow, but shifted by one day.
Cheers,
Gerwin
On 23 Jan 2022, at 18:13, Gerwin Klein
<kleing(a)unsw.edu.au> wrote:
An earlier-than-usual heads-up that the seL4 developer hangout this week will be shifted
by one day, because of the public holiday in Australia.
This means, we're meeting on Wed for Europe/US and on Thu for Australia:
- Sydney: Thu, Jan 27, 8am
- Central Europe: Wed, Jan 26, 10pm
- US West Coast: Wed, Jan 26, 1pm
Zoom link: https://unsw.zoom.us/j/82640784431
Cheers,
Gerwin
315
days inactive
404
days old
9 comments
2 participants
participants (2)
-
Gerwin Klein -
Jimmy Brush