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

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, 5 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, 5 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, 11 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, 6 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, 10 months

Re: Reminder seL4 developer hangout/video call

by Gerwin Klein

Yes, they clash. The audience apart from June, you, and me is distinct, though, so it shouldn't really be a problem. Cheers, Gerwin > On 4 Apr 2022, at 16:11, Gernot Heiser <gernot(a)unsw.edu.au> wrote: > > 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 > > _______________________________________________ > Devel mailing list -- devel(a)sel4.systems > To unsubscribe send an email to devel-leave(a)sel4.systems

3 years, 5 months

OpenPower/PowerPC/ppc64le port: major concerns and obstacles

by Isaac Beckett

Hello seL4 devel! Recently I was on the developer hangout meeting and brought up a ppc port. Interest seemed low, and some even called ppc a “niche” architecture which seems unfair. There was also the much more concrete concerns of funding and overall maintenance. I believe an PPC port would be very valuable, and I plan to do a whole essay/write up of some sort, but I am also not the most familiar with the technical challenges, and could use more information on those. I do think there is definitely people who would want to run seL4 on PowerPC platforms. PowerPC is one of the few ISAs that has existing, modern hardware without closed-source binary blobs, which I believe pose a real threat to the trustworthiness of the hardware seL4 is currently capable of running on.

3 years, 5 months

Re: OpenPower/PowerPC/ppc64le port: major concerns and obstacles

by William ML Leslie

On Wed, 6 Apr 2022 at 13:44, Isaac Beckett <isaactbeckett(a)gmail.com> wrote: > Hello seL4 devel! Recently I was on the developer hangout meeting and > brought up a ppc port. Interest seemed low, and some even called ppc a > “niche” architecture which seems unfair. > > There was also the much more concrete concerns of funding and overall > maintenance. I believe an PPC port would be very valuable, and I plan to do > a whole essay/write up of some sort, but I am also not the most familiar > with the technical challenges, and could use more information on those. > I won't be online tonight, but I +1'd you then and I'll +1 you now. What sort of powerpc hardware are people using and able to develop for? I really only know of game consoles, and with the exception of the PS3, these tend to be so locked down that people don't seem to port other operating systems to them. I know that Raptor Talos workstations are quite nice and not so expensive when you compare them with the current state of RISC-V systems that are actually usable as desktops, but they are still out of reach of many hobbyists. IIRC someone (Gerwin?) recently did a breakdown of the costs of a port to a new architecture, including costs of verification. I guess the challenge is finding someone for whom that cost is well worth it. -- William ML Leslie

3 years, 5 months

Devel search results for query "developer hangout"