Search results for "developer hangout" - Devel

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, 5 months

Re: Reminder seL4 developer hangout

by Gerwin Klein

The next one will flip time zones again, so don't worry if you miss this one. Cheers, Gerwin > On 31 May 2022, at 10:02, Isaac Beckett <isaactbeckett(a)gmail.com> wrote: > > Oh boy, 3AM! I hope to make it, but if I sound tired, that’s why. > >> Date: Mon, 30 May 2022 00:08:16 +0000 >> From: Birgit Brecknell <birgit.brecknell(a)unsw.edu.au> >> Subject: [seL4] Reminder seL4 developer hangout >> To: "devel(a)sel4.systems" <devel(a)sel4.systems> >> Message-ID: <MEAPR01MB44693624005ED9CB8CFDD3A7DEDD9(a)MEAPR01MB4469.aus >> prd01.prod.outlook.com> >> Content-Type: text/plain; charset="iso-8859-1" >> >> Hi all >> >> A friendly reminder that the seL4 developer hangout is on again this week: >> >> Wed, Jun 1, 7am (UTC), Topics: (open) >> >> * Sydney: Wed, Jun 1, 5pm >> * Central Europe: Wed, Jun 1, 9am >> * US Pacific Time: Wed, Jun 1, 12 midnight >> >> 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

3 years

Re: Reminder seL4 developer hangout

by Gerwin Klein

Hey Stewart, sure, everybody is welcome! Cheers, Gerwin > On 22 Mar 2022, at 4:16 pm, sjwebb(a)student.unimelb.edu.au wrote: > > 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 > _______________________________________________ > Devel mailing list -- devel(a)sel4.systems > To unsubscribe send an email to devel-leave(a)sel4.systems

3 years, 3 months

Re: Reminder seL4 developer hangout/video call

by Gernot Heiser

Wed 07:00 UTC (Wed 17:00 EAST) is actually the time of the AGM according to my calendar. Gernot > On 4 Apr 2022, at 14:56, Birgit Brecknell <birgit.brecknell(a)unsw.edu.au> wrote: > > Hi all > > A friendly reminder that the seL4 developer hangout is on this week: > > Wed, Apr 6, 7am (UTC), Topics: (open) > > * Sydney: Wed, Apr 6, 5pm > * Central Europe: Wed, Apr 6, 9am > * US Pacific Time: Wed, Apr 6, 12 midnight > > (There are too many time zones in the world to cite them all :-)) > > 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

3 years, 2 months

High-throughput asyncrhonous driver API?

by Andrew Warkentin

I remember talk in one of the developer hangouts I was in about a proof of concept for a high-throughput asynchronous driver layer for seL4 (presumably based on notifications). Has code for this been released anywhere? I'm going to be starting on my own IPC transport layer and I want to include asynchronous message passing as an option.

2 years, 8 months

Re: Reminder seL4 developer hangout

by Nataliya Korovkina

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

2 years, 4 months

Re: seL4 developer hangout/video call

by Gerwin Klein

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

3 years, 7 months

Devel search results for query "developer hangout"