November 2024 - Devel - lists.tockos.org

No Tock core meeting today
by Amit Levy Nov. 22, 2024

Nov. 22, 2024

In lieu of proposed agenda items and due to a few absences anyway, let's cancel this week. Instead, please review the recent type-safe system call ABI proposal: https://github.com/tock/design-explorations/pull/4 We will likely also skip next week due to the Thanksgiving holiday.

1 0

Call for Tock meeting agenda items 2024-11-22
by Amit Levy Nov. 22, 2024

Nov. 22, 2024

Please respond with any agenda items for tomorrow's call.

1 0

Type-safe syscall exploration
by Johnathan Van Why Nov. 19, 2024

Nov. 19, 2024

Inspired by the ongoing discussions about porting Tock to CHERI, I wrote down some ideas on how to make Tock's syscall ABI more type-safe. The writeup is in the design-explorations repository at Add an exploration of type-safe system calls <https://github.com/tock/design-explorations/pull/4>. While I'm not suggesting that we should start on Tock 3.0 now, I do think we should incorporate some of the design ideas into Tock 3.0 when it happens. A secondary goal of the document is to spread knowledge about CHERI. Feel free to take a look, and either reply with feedback here or comment on the PR. -Johnathan

2 2

Tock meeting agenda 2024-11-15
by Amit Levy Nov. 15, 2024

Nov. 15, 2024

Meeting link: https://meetings.dialpad.com/room/tock/1vnk9r3e1b Agenda - Updates - TockWorld format and timing - x86 upstreaming: fresh rewrite or vendored crate - `usize` in ABI -comments PRs #4228 and #4229 - Crypto WG proposal

1 0

Call for Tock meeting agenda items 2024-11-15
by Amit Levy Nov. 14, 2024

Nov. 14, 2024

Please respond with any agenda items for tomorrow's call.

1 1

Tock meeting agenda 2024-11-08
by Amit Levy Nov. 8, 2024

Nov. 8, 2024

Today will be shorter than normal meeting to make time for a focused discussion of some PRs after. Meeting link: https://meetings.dialpad.com/room/tock/1vnk9r3e1b Agenda - Updates - EWSN Tutorial - Implications of `cortex-m4f` crate - https://github.com/tock/tock/pull/4224

1 0

Call for Tock meeting agenda items 2024-11-8
by Amit Levy Nov. 8, 2024

Nov. 8, 2024

Please respond with any agenda items for tomorrow's call.

2 1

Call for Tock meeting agenda items 2024-11-1
by Amit Levy Nov. 1, 2024

Nov. 1, 2024

Please respond with any agenda items for tomorrow's call.

1 0