January 2026 - Devel - lists.tockos.org

Re: Support tockloader for STM32L4

by Branden Ghena

If you want to install applications over UART, you'll need some kind of system for receiving those bytes and writing them to memory. That's usually the tock-bootloader. Rarely, some systems have a hardware bootloader system capable of that. The tock-bootloader repo is not obsolete. It's just been quite stable for a while now, so it hasn't needed updates. Alternatively, many platforms Tock supports have USB->JTAG support. This doesn't require any software like a bootloader, but it does require hardware to support it, usually in the form of an additional chip on a board. That separate chip can be an entirely separate Microcontroller running software like DAPLink, which is how the Microbit v2 works, or some other hardware JTAG converter. JTAG support is preferred over bootloaders when available, since it doesn't require any additional software running on the actual microcontroller. Thanks, Branden Ghena Northwestern University On Tue, Jan 13, 2026 at 6:26 AM Kamil Duljas via Devel < devel(a)lists.tockos.org> wrote: > Thanks a lot! Could you please explain something to me? I think I’m > missing an important piece. > As far as I understand, tockloader allows installing apps and > communicating over UART, etc. > But to install applications, do I also need to implement a bootloader? > Is the tock-bootloader repository obsolete? If so, what is the current > recommended approach? > > best, > Kamil Duljas > > pon., 12 sty 2026, 17:27 użytkownik Tyler Potyondy <potyondyt(a)gmail.com> > napisał: > >> I recently added tockloader support for the WL5xx board family. It is >> still a work in progress and has a few hacky fixes I need to cleanup, but >> here's my branch in case it helps you for adding L4 tockloader support: >> https://github.com/tyler-potyondy/tockloader/commits/ents-board-config/ >> <https://urldefense.com/v3/__https://github.com/tyler-potyondy/tockloader/co…> >> >> -Tyler Potyondy >> >> On Mon, Jan 12, 2026 at 7:31 AM Branden Ghena via Devel < >> devel(a)lists.tockos.org> wrote: >> >>> Sure! Go ahead and make a PR to Tockloader whenever. >>> >>> And thanks for the contributions! We will get to reviewing them as soon >>> as we can. >>> >>> Thanks, >>> Branden Ghena >>> Northwestern University >>> >>> >>> On Mon, Jan 12, 2026 at 1:52 AM Kamil Duljas via Devel < >>> devel(a)lists.tockos.org> wrote: >>> >>>> Hi, >>>> My PR is waiting for review https://github.com/tock/tock/pull/4672 >>>> <https://urldefense.com/v3/__https://github.com/tock/tock/pull/4672__;!!Dq0X…> >>>> >>>> but I'm wondering if I can add support in tockloader parallelly. A code >>>> should be similar to F4 boards but it should be separated because OpenOCD >>>> defines his own cfg file for L4 boards. >>>> >>>> -- >>>> Best, >>>> Kamil Duljas >>>> >>> _______________________________________________ >>> Devel mailing list -- devel(a)lists.tockos.org >>> To unsubscribe send an email to devel-leave(a)lists.tockos.org >>> >>

Jan. 14, 2026

Re: Support tockloader for STM32L4

by Kamil Duljas

Thanks a lot! Could you please explain something to me? I think I’m missing an important piece. As far as I understand, tockloader allows installing apps and communicating over UART, etc. But to install applications, do I also need to implement a bootloader? Is the tock-bootloader repository obsolete? If so, what is the current recommended approach? best, Kamil Duljas pon., 12 sty 2026, 17:27 użytkownik Tyler Potyondy <potyondyt(a)gmail.com> napisał: > I recently added tockloader support for the WL5xx board family. It is > still a work in progress and has a few hacky fixes I need to cleanup, but > here's my branch in case it helps you for adding L4 tockloader support: > https://github.com/tyler-potyondy/tockloader/commits/ents-board-config/ > <https://github.com/tyler-potyondy/tockloader/commits/ents-board-config/> > > -Tyler Potyondy > > On Mon, Jan 12, 2026 at 7:31 AM Branden Ghena via Devel < > devel(a)lists.tockos.org> wrote: > >> Sure! Go ahead and make a PR to Tockloader whenever. >> >> And thanks for the contributions! We will get to reviewing them as soon >> as we can. >> >> Thanks, >> Branden Ghena >> Northwestern University >> >> >> On Mon, Jan 12, 2026 at 1:52 AM Kamil Duljas via Devel < >> devel(a)lists.tockos.org> wrote: >> >>> Hi, >>> My PR is waiting for review https://github.com/tock/tock/pull/4672 >>> <https://urldefense.com/v3/__https://github.com/tock/tock/pull/4672__;!!Dq0X…> >>> >>> but I'm wondering if I can add support in tockloader parallelly. A code >>> should be similar to F4 boards but it should be separated because OpenOCD >>> defines his own cfg file for L4 boards. >>> >>> -- >>> Best, >>> Kamil Duljas >>> >> _______________________________________________ >> Devel mailing list -- devel(a)lists.tockos.org >> To unsubscribe send an email to devel-leave(a)lists.tockos.org >> >

Jan. 13, 2026

Re: The main direction of development STM32

by Brad Campbell

Hi Kamil, I don't think we have a roadmap per se, but we are excited when new STM32 boards are added to Tock. We have a new-ish PR adding another platform: https://github.com/tock/tock/pull/4695 In some sense perhaps the ubiquity and diversity of STM32s is also a challenge: which should we pick to prioritize? I think with a particularly intriguing hardware platform, a specific use case, or a specific chip that seems to be adopted by a number of users could be something we would want to focus on and try to have robust support for. Just my thoughts, -Brad On Mon, Jan 12, 2026 at 11:42 AM Kamil Duljas via Devel < devel(a)lists.tockos.org> wrote: > Hi, > As a Rust enthusiast, I wanted to gain more experience by adding support > for an STM32L4 board. It’s quite a popular board in Poland, with many > tutorials on electronics blogs. > At the same time, I’m wondering about the next steps for STM32 support in > general. It’s a very popular vendor, and the wide range of boards > definitely makes it easier to get started with Tock OS. > Do you have any roadmap for STM32 boards or plans for supporting other > platforms? > > Best regards, > Kamil Duljas > _______________________________________________ > Devel mailing list -- devel(a)lists.tockos.org > To unsubscribe send an email to devel-leave(a)lists.tockos.org >

Jan. 12, 2026

The main direction of development STM32

by Kamil Duljas

Hi, As a Rust enthusiast, I wanted to gain more experience by adding support for an STM32L4 board. It’s quite a popular board in Poland, with many tutorials on electronics blogs. At the same time, I’m wondering about the next steps for STM32 support in general. It’s a very popular vendor, and the wide range of boards definitely makes it easier to get started with Tock OS. Do you have any roadmap for STM32 boards or plans for supporting other platforms? Best regards, Kamil Duljas

Jan. 12, 2026

Re: Support tockloader for STM32L4

by Tyler Potyondy

I recently added tockloader support for the WL5xx board family. It is still a work in progress and has a few hacky fixes I need to cleanup, but here's my branch in case it helps you for adding L4 tockloader support: https://github.com/tyler-potyondy/tockloader/commits/ents-board-config/ <https://github.com/tyler-potyondy/tockloader/commits/ents-board-config/> -Tyler Potyondy On Mon, Jan 12, 2026 at 7:31 AM Branden Ghena via Devel < devel(a)lists.tockos.org> wrote: > Sure! Go ahead and make a PR to Tockloader whenever. > > And thanks for the contributions! We will get to reviewing them as soon as > we can. > > Thanks, > Branden Ghena > Northwestern University > > > On Mon, Jan 12, 2026 at 1:52 AM Kamil Duljas via Devel < > devel(a)lists.tockos.org> wrote: > >> Hi, >> My PR is waiting for review https://github.com/tock/tock/pull/4672 >> <https://urldefense.com/v3/__https://github.com/tock/tock/pull/4672__;!!Dq0X…> >> >> but I'm wondering if I can add support in tockloader parallelly. A code >> should be similar to F4 boards but it should be separated because OpenOCD >> defines his own cfg file for L4 boards. >> >> -- >> Best, >> Kamil Duljas >> > _______________________________________________ > Devel mailing list -- devel(a)lists.tockos.org > To unsubscribe send an email to devel-leave(a)lists.tockos.org >

Jan. 12, 2026

Re: Support tockloader for STM32L4

by Branden Ghena

Sure! Go ahead and make a PR to Tockloader whenever. And thanks for the contributions! We will get to reviewing them as soon as we can. Thanks, Branden Ghena Northwestern University On Mon, Jan 12, 2026 at 1:52 AM Kamil Duljas via Devel < devel(a)lists.tockos.org> wrote: > Hi, > My PR is waiting for review https://github.com/tock/tock/pull/4672 > <https://urldefense.com/v3/__https://github.com/tock/tock/pull/4672__;!!Dq0X…> > > but I'm wondering if I can add support in tockloader parallelly. A code > should be similar to F4 boards but it should be separated because OpenOCD > defines his own cfg file for L4 boards. > > -- > Best, > Kamil Duljas >

Jan. 12, 2026

Support tockloader for STM32L4

by Kamil Duljas

Hi, My PR is waiting for review https://github.com/tock/tock/pull/4672 but I'm wondering if I can add support in tockloader parallelly. A code should be similar to F4 boards but it should be separated because OpenOCD defines his own cfg file for L4 boards. -- Best, Kamil Duljas

Jan. 12, 2026