August 2024 - Devel - lists.tockos.org

Tock meeting agenda 2024-08-30
by Amit Levy Aug. 30, 2024

Aug. 30, 2024

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 Aug. 30, 2024

Aug. 30, 2024

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

3 3

Rust embedded working-group "mini-survey"
by Amit Levy Aug. 23, 2024

Aug. 23, 2024

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 Aug. 23, 2024

Aug. 23, 2024

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 Aug. 23, 2024

Aug. 23, 2024

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 Aug. 22, 2024

Aug. 22, 2024

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 Aug. 9, 2024

Aug. 9, 2024

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 Aug. 8, 2024

Aug. 8, 2024

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

2 1

Tock meeting agenda 2024-08-02
by Amit Levy Aug. 2, 2024

Aug. 2, 2024

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 Aug. 1, 2024

Aug. 1, 2024

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

1 0