- Devel - lists.tockos.org

Re: Porting Tock OS to STM32 (L476 / F756)

by Patrick Pannuto

+Tyler Potyondy <tpotyondy(a)ucsd.edu> and a few other folks are most of the way through a port to the STM32WLE5xx family, which may share some more with the STM32L than the existing STM32F upstream as well On Sat, Oct 18, 2025 at 5:51 AM Amit Levy via Devel <devel(a)lists.tockos.org> wrote: > Hi and welcome! > > I don't see any obstacles. The STM32L476 is a Cortex-M4, of which there > are many examples upstream, and the STM32F756 is a Cortex-M7 for which > there is support (albeit only one example upstream, so there is of > course a slightly higher likelihood of kinds to iron out). > > Since both are STM chips, I'd expect much of their peripherals to be > shared with or at least very similar to some of the STM32 chips for > which there are upstream ports. > > Keep posted and please feel free to ask questions or for help or if you > run into issues! > > -Amit > > Kamil Duljas via Devel <devel(a)lists.tockos.org> writes: > > > Hi, > > > > I'd like to port Tock OS to an STM32 microcontroller - either the > STM32L476 > > or STM32F756. > > > > Are there any known technical obstacles or limitations that would make > this > > difficult? > > > > Best regards, > > Pozdrawiam, > > Kamil Duljas > > _______________________________________________ > > Devel mailing list -- devel(a)lists.tockos.org > > To unsubscribe send an email to devel-leave(a)lists.tockos.org > _______________________________________________ > Devel mailing list -- devel(a)lists.tockos.org > To unsubscribe send an email to devel-leave(a)lists.tockos.org >

Oct. 20, 2025

Re: Porting Tock OS to STM32 (L476 / F756)

by Amit Levy

Hi and welcome! I don't see any obstacles. The STM32L476 is a Cortex-M4, of which there are many examples upstream, and the STM32F756 is a Cortex-M7 for which there is support (albeit only one example upstream, so there is of course a slightly higher likelihood of kinds to iron out). Since both are STM chips, I'd expect much of their peripherals to be shared with or at least very similar to some of the STM32 chips for which there are upstream ports. Keep posted and please feel free to ask questions or for help or if you run into issues! -Amit Kamil Duljas via Devel <devel(a)lists.tockos.org> writes: > Hi, > > I'd like to port Tock OS to an STM32 microcontroller - either the STM32L476 > or STM32F756. > > Are there any known technical obstacles or limitations that would make this > difficult? > > Best regards, > Pozdrawiam, > Kamil Duljas > _______________________________________________ > Devel mailing list -- devel(a)lists.tockos.org > To unsubscribe send an email to devel-leave(a)lists.tockos.org

Oct. 18, 2025

Porting Tock OS to STM32 (L476 / F756)

by Kamil Duljas

Hi, I'd like to port Tock OS to an STM32 microcontroller - either the STM32L476 or STM32F756. Are there any known technical obstacles or limitations that would make this difficult? Best regards, Pozdrawiam, Kamil Duljas

Oct. 18, 2025

TockWorld will be at Microsoft after RustConf

by Amit Levy

It's official! TockWorld will be hosted at Microsoft in Redmond, WA, just a stone's throw from RustConf in downtown Seattle on September 5th. The specific schedule is still TBD, but most of the speakers and their talks are listed: https://world.tockos.org/tockworld8/ Registeration will open soon, so sign up to be notified: https://world.tockos.org/tockworld8/register

July 14, 2025

Re: Call for interest in MMU and/or paging

by Alexandru Radovici

Hi, Am am interested in this, we are one of the groups implementing this for x86 now. Best regards. Alexandru > On 13 Jun 2025, at 17:42, Leon Schuermann via Devel <devel(a)lists.tockos.org> wrote: > > Amit Levy via Devel <devel(a)lists.tockos.org> writes: >> Please respond if you are currently working on, or otherwise have an >> interest or stake in support for MMU-based platforms in Tock and paging >> support in particular. > > I'd be interested in exploring the RISC-V side of this, for two reasons: > > - Given that at least one of the existing efforts [1] significantly > touches the RISC-V arch crate---code that I have been maintaining in > the past---I'd appreciate being kept in the loop. > > - I'm interested in MMU support for RISC-V more generally. My motivation > comes from the fact that there are a number of RISC-V platforms with > limited PMP implementations (due to its high impact on timing > closures, e.g. [2]), but a full-featured and compliant MMU. MMU > support go a long way for getting Tock working on these platforms in > supervisor mode. That being said, I'm neither actively working on it, > nor have any concrete project for which I'd be using this right now. > > Thanks! > > -Leon > > [1]: https://github.com/tock/tock/pull/4465 > [2]: https://github.com/SpinalHDL/VexRiscv/pull/174 > _______________________________________________ > Devel mailing list -- devel(a)lists.tockos.org > To unsubscribe send an email to devel-leave(a)lists.tockos.org

June 20, 2025

Tock Open Office Hours, Thurs 12pm Pacific

by Amit Levy

Hi all, I (and perhaps @lschuermann) will be hosting the first attempt at an office hours open to developers, users, and other contributors this Thursday at noon pacific time. If you attended a weekly meeting before it became a Core WG meeting, this should be similar: a summary of what's happining in the ecosystem including a report from the Core WG meeting, as well as an open forum for questions, discussions, or comments from anyone joining. Since this is the first one, we'll keep it simple and only add in more involved moderation if it becomes necessary. Please see details and RSVP here: https://calendar.app.google/qRdfGQmZEdgjovN56 See you there! Amit

June 17, 2025

Re: Call for interest in MMU and/or paging

by Leon Schuermann

Amit Levy via Devel <devel(a)lists.tockos.org> writes: > Please respond if you are currently working on, or otherwise have an > interest or stake in support for MMU-based platforms in Tock and paging > support in particular. I'd be interested in exploring the RISC-V side of this, for two reasons: - Given that at least one of the existing efforts [1] significantly touches the RISC-V arch crate---code that I have been maintaining in the past---I'd appreciate being kept in the loop. - I'm interested in MMU support for RISC-V more generally. My motivation comes from the fact that there are a number of RISC-V platforms with limited PMP implementations (due to its high impact on timing closures, e.g. [2]), but a full-featured and compliant MMU. MMU support go a long way for getting Tock working on these platforms in supervisor mode. That being said, I'm neither actively working on it, nor have any concrete project for which I'd be using this right now. Thanks! -Leon [1]: https://github.com/tock/tock/pull/4465 [2]: https://github.com/SpinalHDL/VexRiscv/pull/174

June 13, 2025

Call for interest in MMU and/or paging

by Amit Levy

Please respond if you are currently working on, or otherwise have an interest or stake in support for MMU-based platforms in Tock and paging support in particular. There are a couple parallel efforts underway, all of which would require careful consideration to achieve successfully alongside MPU-based protection. You can respond only to me (amit(a)amitlevy.com) but better to the list. For example, why you're interested (e.g. you have or are planning support for a platform that has an MMU, or there are specific features you'd hope to get from paging) and whether and what efforts you have underway. I will use this to ensure people are kept in the loop and included in discussions. Thanks! Amit

June 12, 2025

TockWorld Europe, August 11th-12th

by Amit Levy

Hello all! The IP Workshop Association, in partnership with the Tock Foundation, OxidOS and Wyliodrin are hosting the first European edition at Sapientia University in Târgu Mureș, Romania. This will be a two-day event, with the first day dedicated to Tock related presentations. If you have worked with or contributed to Tock or a related project, we are very eager to hear about it! The second day is dedicated to Tock workshops and a Tock Developers Meeting. Among the subjects proposed are: Networking support, MMU and OTA Updates. While focused on the European Tock community, all are welcome! More details, and registration information available at https://world.tockos.org/europe See you there! Amit

June 12, 2025

VB: Kerneldebug with uart

by Patrik Svensson

________________________________ Från: Patrik Svensson <patsv(a)outlook.com> Skickat: den 5 maj 2025 19:09 Till: Branden Ghena <branden(a)northwestern.edu> Ämne: Sv: [Tock Devel] Kerneldebug with uart Thanks, I was not aware of the #4416 so I have my own 2350 port from 2040. I will look into that and perhaps contribute some code if needed. Being new to tock I am not 100% familiar with the muxes, I try to use a hard UART1 to my openocd debugger. // Patrik ________________________________ Från: Branden Ghena <branden(a)northwestern.edu> Skickat: den 5 maj 2025 16:57 Till: Patrik Svensson <patsv(a)outlook.com> Kopia: devel(a)lists.tockos.org <devel(a)lists.tockos.org> Ämne: Re: [Tock Devel] Kerneldebug with uart Hi Patrik, Welcome to Tock! Kind of a silly question, but did you see the recent PR with code for the RPi Pico 2? https://github.com/tock/tock/pull/4416 (apologies if you were involved with this PR and I misunderstood) If not, that might solve some of your problems. Assuming that the code in #4416 does not just solve your problem, my hypothesis for you would be an issue with flushing or configuring the UART. When a panic occurs, the code in your board src/io.rs<http://io.rs/> gets called, which configures the UART and writes to it. If debug prints are appearing then, that implies to me that something about the panic writer actions is letting the UART finally work. A second idea though. Based on the code you wrote above, are you using serial-over-USB instead of a UART? (You called it a `cdc`, and USB CDC is serial-over-USB) If that's the case, you should double-check your configuration code compared to another board with a USB serial stack. The Nano33BLE would probably be a good example: https://github.com/tock/tock/blob/master/boards/nano33ble_rev2/src/main.rs Thanks, Branden Ghena Northwestern University On Mon, May 5, 2025 at 1:47 AM Patrik Svensson via Devel <devel(a)lists.tockos.org<mailto:devel@lists.tockos.org>> wrote: Hi, new developer here. Trying to get a Raspberry Pico2 (2350) card running, almost there. Need to check things by printing to UART from kernel. However cannot get the debug!,debug_verbose to come out unless I do a panic! then it will come out. I suspect that there is some flush needed or is there something to enable in the kernel? Snip from my main.rs<http://main.rs/> code for enabling uart: // UART // Create a shared UART channel for kernel debug. let uart_mux = components::console::UartMuxComponent::new(cdc, 115200) .finalize(components::uart_mux_component_static!()); // Uncomment this to use UART as an output let uart_mux2 = components::console::UartMuxComponent::new( &peripherals.uart0, 115200, ) .finalize(components::uart_mux_component_static!()); // Setup the console. let console = components::console::ConsoleComponent::new( board_kernel, capsules_core::console::DRIVER_NUM, uart_mux2, ) .finalize(components::console_component_static!()); // Create the debugger object that handles calls to `debug!()`. components::debug_writer::DebugWriterComponent::new(uart_mux2) .finalize(components::debug_writer_component_static!());

May 5, 2025