Search results for "developer hangout" - Devel

Re: seL4 developer hangout/video call

by Gerwin Klein

> 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

3 years, 5 months

Re: Reminder seL4 developer hangout

by sjwebb＠student.unimelb.edu.au

Hi Birgit, I am a University of Melbourne student working on an seL4 project for my Computer Science Masters under Toby Murray. Mind if I join the hangout? It would perhaps help a lot for me to speak to some other people who have worked with seL4. My masters research project is one nicked from Gernot a few years back, looking into mapping an object-capability programming language onto seL4's capability system. Cheers, Stewart

3 years

Canceled event: Reminder seL4 developer hangout @ Tue Jun 14, 2022 3pm - 4pm (PDT) (devel@sel4.systems)

by agrawal.sidhartha＠gmail.com

This event has been canceled. Title: [seL4] Reminder seL4 developer hangout - rump kernel - arm assembly question. When: Tue Jun 14, 2022 3pm – 4pm Pacific Time - Vancouver Where: https://unsw.zoom.us/j/82640784431 Calendar: devel(a)sel4.systems Who: * agrawal.sidhartha(a)gmail.com - organizer Invitation from Google Calendar: https://calendar.google.com/calendar/ You are receiving this courtesy email at the account devel(a)sel4.systems because you are an attendee of this event. To stop receiving future updates for this event, decline this event. Alternatively you can sign up for a Google account at https://calendar.google.com/calendar/ and control your notification settings for your entire calendar. Forwarding this invitation could allow any recipient to send a response to the organizer and be added to the guest list, or invite others regardless of their own invitation status, or to modify your RSVP. Learn more at https://support.google.com/calendar/answer/37135#forwarding

2 years, 10 months

Re: seL4 developer hangout/video call

by Gerwin Klein

Glad that you could join, and do feel free to ask questions! Cheers, Gerwin > On 27 Jan 2022, at 16:57, Eric Jacobs <eric(a)theeric.com> wrote: > > Thanks for hosting the video chat and inviting everyone. I was not able to follow everything but it was interesting and informative nonetheless (so much to learn!) > > -Eric > > > Isaac Beckett wrote: >> Hello all! If you’re reading this at the time it was sent, then the developer hangout is in roughly an hour. See you there! >> >>> On Jan 25, 2022, at 8:02 PM, devel-request(a)sel4.systems wrote: >>> >>> Send Devel mailing list submissions to >>> devel(a)sel4.systems >>> >>> To subscribe or unsubscribe via email, send a message with subject or >>> body 'help' to >>> devel-request(a)sel4.systems >>> >>> You can reach the person managing the list at >>> devel-owner(a)sel4.systems >>> >>> When replying, please edit your Subject line so it is more specific >>> than "Re: Contents of Devel digest..." >>> >>> Today's Topics: >>> >>> 1. Re: seL4 developer hangout/video call (Gerwin Klein) >>> >>> >>> ---------------------------------------------------------------------- >>> >>> Message: 1 >>> Date: Tue, 25 Jan 2022 06:52:21 +0000 >>> From: Gerwin Klein <kleing(a)unsw.edu.au> >>> Subject: [seL4] Re: seL4 developer hangout/video call >>> To: devel <devel(a)sel4.systems> >>> Message-ID: <7F36F76C-E596-4A51-9419-785AB723CC03(a)unsw.edu.au> >>> Content-Type: text/plain; charset="us-ascii" >>> >>> 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 >>>> >>> >>> ------------------------------ >>> >>> Subject: Digest Footer >>> >>> _______________________________________________ >>> Devel mailing list -- devel(a)sel4.systems >>> To unsubscribe send an email to devel-leave(a)sel4.systems >>> >>> >>> ------------------------------ >>> >>> End of Devel Digest, Vol 135, Issue 2 >>> ************************************* >> _______________________________________________ >> Devel mailing list -- devel(a)sel4.systems >> To unsubscribe send an email to devel-leave(a)sel4.systems > > _______________________________________________ > Devel mailing list -- devel(a)sel4.systems > To unsubscribe send an email to devel-leave(a)sel4.systems

3 years, 2 months

Re: Reminder seL4 developer hangout

by Gerwin Klein

> 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

2 years, 2 months

Invitation: Reminder seL4 developer hangout @ Tue Jun 14, 2022 3pm - 4pm (PDT) (devel@sel4.systems)

by agrawal.sidhartha＠gmail.com

You have been invited to the following event. Title: [seL4] Reminder seL4 developer hangout - rump kernel - arm assembly question. When: Tue Jun 14, 2022 3pm – 4pm Pacific Time - Vancouver Where: https://unsw.zoom.us/j/82640784431 Calendar: devel(a)sel4.systems Who: * agrawal.sidhartha(a)gmail.com - organizer * birgit.brecknell(a)unsw.edu.au * devel(a)sel4.systems Event details: https://calendar.google.com/calendar/event?action=VIEW&eid=NWozdWplbDZwZmk3… Invitation from Google Calendar: https://calendar.google.com/calendar/ You are receiving this courtesy email at the account devel(a)sel4.systems because you are an attendee of this event. To stop receiving future updates for this event, decline this event. Alternatively you can sign up for a Google account at https://calendar.google.com/calendar/ and control your notification settings for your entire calendar. Forwarding this invitation could allow any recipient to send a response to the organizer and be added to the guest list, or invite others regardless of their own invitation status, or to modify your RSVP. Learn more at https://support.google.com/calendar/answer/37135#forwarding

2 years, 10 months

Re: Invitation: Reminder seL4 developer hangout @ Tue Jun 14, 2022 3pm - 4pm (PDT) (devel@sel4.systems)

by Sid Agrawal

This was completely accidental, I was making a calendar invite for myself and accidentally invited the email list. -Sid On Tue, Jun 14, 2022 at 3:01 PM Axel Heider <axelheider(a)gmx.de> wrote: > Sid, > > > > You have been invited to the following event. > > > > Title: [seL4] Reminder seL4 developer hangout > > - rump kernel > > - arm assembly question. > > When: Tue Jun 14, 2022 3pm – 4pm Pacific Time - Vancouver > > Where: https://unsw.zoom.us/j/82640784431 > > Thanks, this is the first time we have a public suggestion for > topics, even if it's a bit on short notice. Hopefully this will > encourage others. > > > Axel > _______________________________________________ > Devel mailing list -- devel(a)sel4.systems > To unsubscribe send an email to devel-leave(a)sel4.systems >

2 years, 10 months

Re: seL4 developer hangout/video call

by Gerwin Klein

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 >

3 years, 5 months

Re: seL4 developer hangout/video call

by Jimmy Brush

Will recordings or notes from these meetings be made available?

3 years, 5 months

Re: seL4 developer hangout/video call

by Nataliya Korovkina

Thank you, Isaac ! On Sun, Jan 23, 2022 at 8:23 PM Isaac Beckett <isaactbeckett(a)gmail.com> wrote: > > Other US time zones: > PST (West Coast): 1pm > MST (Mountain Time): 2pm > CST (Central Time): 3pm > EST (East Coast): 4pm > We have a lot of time zones here, it’s a bit of a pain sometimes. > > > > > On Jan 23, 2022, at 8:01 PM, devel-request(a)sel4.systems wrote: > > > > Send Devel mailing list submissions to > > devel(a)sel4.systems > > > > To subscribe or unsubscribe via email, send a message with subject or > > body 'help' to > > devel-request(a)sel4.systems > > > > You can reach the person managing the list at > > devel-owner(a)sel4.systems > > > > When replying, please edit your Subject line so it is more specific > > than "Re: Contents of Devel digest..." > > > > Today's Topics: > > > > 1. Re: seL4 developer hangout/video call (Gerwin Klein) > > > > > > ---------------------------------------------------------------------- > > > > Message: 1 > > Date: Sun, 23 Jan 2022 07:13:27 +0000 > > From: Gerwin Klein <kleing(a)unsw.edu.au> > > Subject: [seL4] Re: seL4 developer hangout/video call > > To: devel <devel(a)sel4.systems> > > Message-ID: <678C2D4C-EEE5-4D79-82BD-256BC78B3BFC(a)unsw.edu.au> > > Content-Type: text/plain; charset="us-ascii" > > > > 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 > > > > > > ------------------------------ > > > > Subject: Digest Footer > > > > _______________________________________________ > > Devel mailing list -- devel(a)sel4.systems > > To unsubscribe send an email to devel-leave(a)sel4.systems > > > > > > ------------------------------ > > > > End of Devel Digest, Vol 134, Issue 1 > > ************************************* > _______________________________________________ > Devel mailing list -- devel(a)sel4.systems > To unsubscribe send an email to devel-leave(a)sel4.systems

3 years, 2 months

Devel search results for query "developer hangout"