November 2024 - Devel - lists.tockos.org

No Tock core meeting today
by Amit Levy 22 Nov '24

22 Nov '24

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 22 Nov '24

22 Nov '24

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

1 0

Type-safe syscall exploration
by Johnathan Van Why 19 Nov '24

19 Nov '24

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 15 Nov '24

15 Nov '24

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 14 Nov '24

14 Nov '24

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

1 1

Tock meeting agenda 2024-11-08
by Amit Levy 08 Nov '24

08 Nov '24

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 08 Nov '24

08 Nov '24

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

2 1

Call for Tock meeting agenda items 2024-11-1
by Amit Levy 01 Nov '24

01 Nov '24

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

1 0