January 2026 - Devel - lists.tockos.org

Re: Support tockloader for STM32L4
by Branden Ghena Jan. 14, 2026

Jan. 14, 2026

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

1 0

Re: Support tockloader for STM32L4
by Branden Ghena Jan. 13, 2026

Jan. 13, 2026

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 >

3 2

The main direction of development STM32
by Kamil Duljas Jan. 12, 2026

Jan. 12, 2026

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

2 1

Support tockloader for STM32L4
by Kamil Duljas Jan. 11, 2026

Jan. 11, 2026

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

1 0