August 2024 - Devel - lists.tockos.org

Tock meeting agenda 2024-08-30

by Amit Levy

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

Aug. 30, 2024

Re: Call for Tock meeting agenda items 08/30

by Leon Schuermann

Amit Levy via Devel <devel(a)lists.tockos.org> writes: > Please respond with suggested agenda items for the meeting tomorrow, 8/30 Depending on how tests in the next ~50 or so minutes go, we might have some updates to share on Treadmill. :) We'd generally like to chat about letting people onto the platform, soliciting testers and how this interacts with the planned release schedule.

Aug. 30, 2024

Re: Call for Tock meeting agenda items 08/30

by Amit Levy

Sure, invite them please! Aug 29, 2024 10:53:23 PM Alexandru Radovici <msg4alex(a)gmail.com>: > Hello, > > I would like to add tockloadwr-ra to the agenda, George Cosma and his team of two students have been working all summer to bring it up. Would it be ok to invite them in the meeting to present it? > > Best regards, > Alexandru > >> On Aug 30, 2024, at 03:30, Amit Levy via Devel <devel(a)lists.tockos.org> wrote: >> >> Please respond with suggested agenda items for the meeting tomorrow, 8/30 >> _______________________________________________ >> Devel mailing list -- devel(a)lists.tockos.org >> To unsubscribe send an email to devel-leave(a)lists.tockos.org

Aug. 30, 2024

Re: Call for Tock meeting agenda items 08/30

by Alexandru Radovici

Hello, I would like to add tockloadwr-ra to the agenda, George Cosma and his team of two students have been working all summer to bring it up. Would it be ok to invite them in the meeting to present it? Best regards, Alexandru > On Aug 30, 2024, at 03:30, Amit Levy via Devel <devel(a)lists.tockos.org> wrote: > > Please respond with suggested agenda items for the meeting tomorrow, 8/30 > _______________________________________________ > Devel mailing list -- devel(a)lists.tockos.org > To unsubscribe send an email to devel-leave(a)lists.tockos.org

Aug. 30, 2024

Call for Tock meeting agenda items 08/30

by Amit Levy

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

Aug. 30, 2024

Rust embedded working-group "mini-survey"

by Amit Levy

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.…

Aug. 23, 2024

Tock meeting agenda 2024-08-23

by Amit Levy

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

Aug. 23, 2024

Call for Tock meeting agenda items 08/23

by Amit Levy

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

Aug. 23, 2024

Re: Need Help regarding libtock-rs on STM32 Nucleo F429zi

by Brad Campbell

Hi Jahn, It sounds like you did all of the steps correctly, and it's promising that the libtock-c app works. Do you see the "Initialization complete. Entering main loop" message with `tockloader listen` or similar serial terminal? https://github.com/tock/tock/blob/740a3897a00ed4fa3020a554abeb51fb5869ade2/… The process console is enabled, so you should be able to interact with the board via the serial terminal. Specifically, entering the "list" command should list the currently enabled processes. One challenge with using libtock-rs is that we do not have the same PIC support that we do on libtock-c. So, it's possible that the libtock-rs app is being compiled for a fixed address which does not line up with where the app is actually located on the board (either in flash or in RAM, or both). In that case, `tockloader list` would should the app as being installed, but the process console would not show the process as active because it cannot be loaded. It is also possible to enable the `debug_load_processes` config flag ( https://github.com/tock/tock/blob/master/kernel/src/config.rs#L92) to see more information when processes are loaded. If an address mismatch is the issue, the fix is to modify the addresses here ( https://github.com/tock/libtock-rs/blob/master/build_scripts/src/lib.rs#L19) to where the app is actually running (PR would be welcome!). If that isn't the issue, we can keep debugging. - Brad On Thu, Aug 22, 2024 at 10:04 AM Jahn Jantos via Devel < devel(a)lists.tockos.org> wrote: > 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 > > _______________________________________________ > Devel mailing list -- devel(a)lists.tockos.org > To unsubscribe send an email to devel-leave(a)lists.tockos.org >

Aug. 22, 2024

Need Help regarding libtock-rs on STM32 Nucleo F429zi

by Jahn Jantos

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

Aug. 22, 2024