- Devel - lists.tockos.org

Call for Tock meeting agenda items
by Amit Levy 22 Feb '24

22 Feb '24

Please reply with agenda items and +1s for today's meeting. Hudson is away today, so I'll be leading, hence the later than usual request for agenda items. Luckily I think there are plenty. I suggest at least: - Brad's suggestion for a new documentation working group (there is already approval for this, but we can maybe discuss whether/how to support this kind of process more generally. could be very brief)

2 4

Tock meeting agenda 02/02
by Amit Levy 02 Feb '24

02 Feb '24

- Updates - Process Checking Infrastructure PRs: - https://github.com/tock/tock/pull/3772 - https://github.com/tock/tock/pull/3818 - Remove a nightly feature: https://github.com/tock/tock/pull/3803 - Finalize Legal TRD: https://github.com/tock/tock/pull/3821 - How to create new WGs and how to change membership for a WG? Link: https://meetings.dialpad.com/room/tock/1vnk9r3e1b

1 0

Call for Tock Meeting Agenda Items
by Leon Schuermann 25 Jan '24

25 Jan '24

Please reply with agenda items and +1s for tomorrows meeting I'd propose talking about the following PRs, in no particular order: - Use new exit syscall on process finish https://github.com/tock/libtock-c/pull/246 - arch/rv32i: re-design PMP architecture & implement OpenTitan EarlGrey-specific ePMP https://github.com/tock/tock/pull/3597 - arch/cortex-m: hard_fault_handler: fix incorrect return to PSP stack https://github.com/tock/tock/pull/3798 - wg: Add DOC Working Group https://github.com/tock/tock/pull/3815 - Removed obsolete ProcessLoadError variants https://github.com/tock/tock/pull/3805

2 1

Tock Meeting Agenda 1/19/24
by Hudson Ayers 19 Jan '24

19 Jan '24

- Updates - Stable Rust: should we pull the trigger? - code size findings (Amit) Link: https://meetings.dialpad.com/room/tock/1vnk9r3e1b

1 1

Re: Call for Tock Meeting Agenda Items
by Branden Ghena 19 Jan '24

19 Jan '24

Did we ever talk about your code size findings that you posted to Slack? https://tockos.slack.com/archives/CMK6R9XJT/p1703283749879049 That might be worth a discussion just so people are aware of it. I thought I had brought it up before, but I think you weren't on the call. (actually if we can't be on the call tomorrow because of POSE stuff we might delay it again) Thanks, Branden Ghena Northwestern University On Thu, Jan 18, 2024 at 3:02 PM Amit Levy <amit(a)amitlevy.com> wrote: > Please reply with agenda items and +1s for tomorrows meeting > > One item to start us off: > > * Stable Rust: should we pull the trigger? > _______________________________________________ > Devel mailing list -- devel(a)lists.tockos.org > To unsubscribe send an email to devel-leave(a)lists.tockos.org >

2 1

Call for Tock Meeting Agenda Items
by Amit Levy 18 Jan '24

18 Jan '24

Please reply with agenda items and +1s for tomorrows meeting One item to start us off: * Stable Rust: should we pull the trigger?

1 0

Call for Tock Meeting Agenda Items
by Hudson Ayers 12 Jan '24

12 Jan '24

Please reply to this email with agenda items and +1s for tomorrow’s meeting

2 1

Call for Tock Meeting Agenda Items
by Hudson Ayers 15 Dec '23

15 Dec '23

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

3 2

Call for Tock Meeting Agenda Items
by Hudson Ayers 08 Dec '23

08 Dec '23

Please reply with agenda items and +1s for tomorrows meeting

1 0

Call for Tock meeting agenda items
by Amit Levy 01 Dec '23

01 Dec '23

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

1 0