- Devel - lists.tockos.org

Re: Call for Tock Meeting Agenda Items

by Amit Levy

The "new" PRs from Brad are all merged now. Two items to enqueue, both actually overlap with items from last week (Rust userland and reframing core call, respectively): 1. This fits into some of the carry over from last week, but a suggestion about maintaining userland drivers alongside their kernel counterparts (potentially with some tooling). 2. Communication tools and bringing non-attendees into the fold -Amit Hudson Ayers <hudayers(a)gmail.com> writes: > Please reply with agenda items for tomorrow's meeting. > > Brad has asked for people to check-in on the following PRs: > > https://github.com/tock/libtock-c/pull/431 > https://github.com/tock/libtock-c/pull/427 > https://github.com/tock/libtock-c/pull/428 > https://github.com/tock/libtock-c/pull/430 > https://github.com/tock/tock/pull/3992 > >>From last week, we carry over: > > - plans for a new release of the kernel > - continue discussion of libtock-c release > - better story for Rust userland development > - reframing the core call + additional meetings > > Finally, leftover from last week's PR rundown: > https://github.com/tock/tock/pull/3549 > _______________________________________________ > Devel mailing list -- devel(a)lists.tockos.org > To unsubscribe send an email to devel-leave(a)lists.tockos.org

May 24, 2024

Call for Tock Meeting Agenda Items

by Hudson Ayers

Please reply with agenda items for tomorrow's meeting. Brad has asked for people to check-in on the following PRs: https://github.com/tock/libtock-c/pull/431 https://github.com/tock/libtock-c/pull/427 https://github.com/tock/libtock-c/pull/428 https://github.com/tock/libtock-c/pull/430 https://github.com/tock/tock/pull/3992 From last week, we carry over: - plans for a new release of the kernel - continue discussion of libtock-c release - better story for Rust userland development - reframing the core call + additional meetings Finally, leftover from last week's PR rundown: https://github.com/tock/tock/pull/3549

May 24, 2024

Re: Call for Tock meeting agenda items

by Amit Levy

In general, I also want to propose that we reframe the core call as being for core wg "business": - updates/reports from WGs - PR triage and management - other planning and decision making for the core wg And we can separately have meetings for non wg people to ask questions/raise issues/make proposals, etc. So I also propose we discuss/vote on this May 17, 2024 10:35:22 AM Amit Levy <amit(a)amitlevy.com>: > I think we are getting quite behind on PRs (I take much of the blame for this). It's probably worth taking stock and blaming and shaming. > > I propose we talk about three concrete things: > > 1. Plans for a new release of the kernel > > 2. Stabilizing and doing releases for userland C > > 3. A better story for Rust userland development > > For the second two items we have a bunch of users who now rely and care about these. We should see if we can articulate particular asks for contribution, ownership, or other kind of participation > > May 17, 2024 1:31:24 AM Hudson Ayers <hudayers(a)gmail.com>: > >> Please reply with agenda items for tomorrows meeting

May 17, 2024

Re: Call for Tock meeting agenda items

by Amit Levy

I think we are getting quite behind on PRs (I take much of the blame for this). It's probably worth taking stock and blaming and shaming. I propose we talk about three concrete things: 1. Plans for a new release of the kernel 2. Stabilizing and doing releases for userland C 3. A better story for Rust userland development For the second two items we have a bunch of users who now rely and care about these. We should see if we can articulate particular asks for contribution, ownership, or other kind of participation May 17, 2024 1:31:24 AM Hudson Ayers <hudayers(a)gmail.com>: > Please reply with agenda items for tomorrows meeting

May 17, 2024

Call for Tock meeting agenda items

by Hudson Ayers

Please reply with agenda items for tomorrows meeting

May 17, 2024

Tock Meeting 05/10/24

by Hudson Ayers

It seems like today will be a smaller meeting, comprised mostly of updates about the upcoming tutorial. https://meetings.dialpad.com/room/tock/1vnk9r3e1b

May 10, 2024

Call for Tock Meeting Agenda Items

by Hudson Ayers

Please reply to this email with agenda items for tomorrows meeting

May 10, 2024

Re: Call for Tock Meeting Agenda Items

by Leon Schuermann

Hudson Ayers <hudayers(a)gmail.com> writes: > Please reply with agenda items for today’s meeting. I believe that Amalia (Alex' student) has some exciting updates on console virtualization and the Packet Buffer infrastructure to share.

May 3, 2024

Re: Call for Tock Meeting Agenda Items

by Alexandru Radovici

Hello, I want to add Amalia’s demo using packet buffers to separate kernel and application output. The question that we have to answer now is how to integrate this into upstream tock, as the console will not be compatible with tockloader anymore. Best regards, Alexandru > On 3 May 2024, at 16:54, Hudson Ayers <hudayers(a)gmail.com> wrote: > > Please reply with agenda items for today’s meeting. > > https://meetings.dialpad.com/room/tock/1vnk9r3e1b > > _______________________________________________ > Devel mailing list -- devel(a)lists.tockos.org > To unsubscribe send an email to devel-leave(a)lists.tockos.org

May 3, 2024

Call for Tock Meeting Agenda Items

by Hudson Ayers

Please reply with agenda items for today’s meeting. https://meetings.dialpad.com/room/tock/1vnk9r3e1b

May 3, 2024