- Devel - lists.tockos.org

Re: Tock core meeting agenda items 2024-06-14

by Brad Campbell

On Thu, Jun 13, 2024, 10:01 PM Amit Levy <amit(a)amitlevy.com> wrote: > Vote on "TRD: Tock Storage Permissions" ( > https://github.com/tock/tock/pull/4021) > - Don't need > - Approve > - Change > - Need more discussion (and if so what)? > +1 > _______________________________________________ > Devel mailing list -- devel(a)lists.tockos.org > To unsubscribe send an email to devel-leave(a)lists.tockos.org >

June 14, 2024

Re: Tock core meeting agenda items 2024-06-14

by Amit Levy

Vote on "TRD: Tock Storage Permissions" (https://github.com/tock/tock/pull/4021) - Don't need - Approve - Change - Need more discussion (and if so what)?

June 14, 2024

Tock core meeting agenda items 2024-06-14

by Amit Levy

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

June 14, 2024

Tock Meeting 2024-06-07

by Amit Levy

Meeting Link: https://meetings.dialpad.com/room/tock/1vnk9r3e1b Agenda - Updates - Notications for buffer swapping: - https://github.com/tock/tock/pull/4023 - TRD: Storage Permissions: https://github.com/tock/tock/pull/4021

June 7, 2024

Re: Tock core meeting agenda items 2024-06-07

by Alexandru Radovici

Hello, I have submitted a PR regarding the possible solution to the notifications of the buffer swapping, https://github.com/tock/tock/pull/4023, I would like to add it to the agenda. Best regards, Alexandru > On 7 Jun 2024, at 01:08, Amit Levy <amit(a)amitlevy.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

June 7, 2024

Tock core meeting agenda items 2024-06-07

by Amit Levy

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

June 6, 2024

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