May 2024 - Devel - lists.tockos.org

Re: Tock Meeting Agenda Items

by Leon Schuermann

Hudson Ayers <hudayers(a)gmail.com> writes: > Please reply with agenda items and +1s for tomorrow's meeting I want to bring up Alistair's proposal for 64-bit timers again, now that we are about to merge a new alarm driver implementation that properly conveys left-justified 32-bit ticks values to userspace: timer: Add support for 64-bit timers https://github.com/tock/tock/pull/3343 Two other PRs that haven't seen activity for some time: - syscall: add notification mechanism (https://github.com/tock/tock/pull/3252) - [RFC] Yield-WaitFor syscall (https://github.com/tock/tock/pull/3577) It'd be great if more people took a look at the alarm capsule rewrite. It's a tough subsystem to get right. capsules/alarm: left-justify 32 bit ticks, re-architect alarm, add unit tests (https://github.com/tock/tock/pull/3975)

May 31, 2024

Re: Tock Meeting Agenda Items

by Johnathan Van Why

I would like to get an answer to whether we want to determine a register's value type from its bitfield type (RegisterLongName) or keep them separate <https://github.com/tock/tock/pull/4001#discussion_r1619542913>. On Thu, May 30, 2024 at 5:56 PM Hudson Ayers <hudayers(a)gmail.com> wrote: > Please reply with agenda items and +1s for tomorrow's meeting > _______________________________________________ > Devel mailing list -- devel(a)lists.tockos.org > To unsubscribe send an email to devel-leave(a)lists.tockos.org >

May 31, 2024

Tock Meeting Agenda Items

by Hudson Ayers

Please reply with agenda items and +1s for tomorrow's meeting

May 31, 2024

Tock Meeting 05/24/24

by Hudson Ayers

Meeting Link: https://meetings.dialpad.com/room/tock/1vnk9r3e1b Agenda - Updates - Tockworld advertisement / registration push - New kernel release - libtock-c release - reframing the core call + additional meetings - communication tools and bringing non-attendees into the fold - better story for Rust userland development

May 24, 2024

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