August 2024 - Devel - lists.tockos.org

Tock meeting agenda 2024-08-30
by Amit Levy 30 Aug '24

30 Aug '24

Meeting Link: https://meetings.dialpad.com/room/tock/1vnk9r3e1b Agenda - Updates - Working group updates - General - Pull Request Queue - Treadmill CI - Tockloader-rs

1 0

Call for Tock meeting agenda items 08/30
by Amit Levy 30 Aug '24

30 Aug '24

Please respond with suggested agenda items for the meeting tomorrow, 8/30

3 3

Rust embedded working-group "mini-survey"
by Amit Levy 23 Aug '24

23 Aug '24

All, I want to bring to your attention a mini-survey that the Rust embedded working group put together to get a sense of those of us working on Rust in embedded contexts. Please fill it out! The embedded working group is pushing a bunch of efforts and features that are super relevant to Tock, including safety around MMIO access, tooling and higher tier support for embedded architectures in the Rust compiler, code size, etc. Survey: https://www.surveyhero.com/c/uenp3ydt Rust blog post: https://blog.rust-lang.org/inside-rust/2024/08/22/embedded-wg-micro-survey.…

1 0

Tock meeting agenda 2024-08-23
by Amit Levy 23 Aug '24

23 Aug '24

Meeting Link: https://meetings.dialpad.com/room/tock/1vnk9r3e1b Agenda - Updates - Working group updates - General - Progress on goals from TockWorld - Non-XIP Platforms - Tock registers - Automated driver implementation - Panic-free kernel - Multi-core - CHERI

1 0

Call for Tock meeting agenda items 08/23
by Amit Levy 23 Aug '24

23 Aug '24

Please respond with agenda items and +1s for tomorrow's core call

1 0

Need Help regarding libtock-rs on STM32 Nucleo F429zi
by Jahn Jantos 22 Aug '24

22 Aug '24

Hello, I have been trying to use Tock OS on my STM32 Nucleo F429zi Microcontroller, but so far I've only been able to flash the example code from libtock-c and not the code from libtock-rs. I tried it in Rust with compiling the blink example (I ran the command "make nucleo_f429zi EXAMPLE=blink" in libtock-rs) and then compiled the Board (under tock/boards/nucleo_f429zi I ran make, make install and then make program) but the Rust example did not turn the LEDs on. And I also found the following Issue on GitHub: https://github.com/tock/tock/issues/2811 Which is not about my Board, but made me realise that libtock-rs might not be ready for use yet. Furthermore in the Makefile under tock/boards/nucleo_f429zi within the command make program that was listed in the ReadMe.md was also the path to the c-hello example from libtock-c. So what I am getting at is, is it possible to use the examples in libtock-rs or do I need to write my examples in C to use Tock OS for my board? thanks in advance for your work. kind regards, Jahn Jantos

2 1

Tock meeting agenda 2024-08-09
by Amit Levy 09 Aug '24

09 Aug '24

Meeting Link: https://meetings.dialpad.com/room/tock/1vnk9r3e1b Agenda - Updates - Outstanding, assigned, PRs - CHERI upstreaming preview - https://github.com/tock/tock/issues/4134 - https://github.com/tock/tock-cheri - https://github.com/tock/libtock-c-cheri - https://github.com/tock/libtock-rs-cheri - DMA'able grant preview

1 0

Call for meeting agenda items
by Amit Levy 08 Aug '24

08 Aug '24

Please respond with agenda items and +1s for tomorrow's core call

2 1

Tock meeting agenda 2024-08-02
by Amit Levy 02 Aug '24

02 Aug '24

Meeting Link: https://meetings.dialpad.com/room/tock/1vnk9r3e1b Agenda - Updates - Outstanding, assigned, PRs - OpenTitan working group status and trajectory

1 0

Call for Tock meeting agenda items 08/02
by Amit Levy 01 Aug '24

01 Aug '24

Please respond with agenda items and +1s for tomorrow's core call - OpenTitan working group trajectory and plan

1 0