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/

-Tyler Potyondy

On Mon, Jan 12, 2026 at 7:31 AM Branden Ghena via Devel <devel@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@lists.tockos.org> wrote:

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

_______________________________________________
Devel mailing list -- devel@lists.tockos.org
To unsubscribe send an email to devel-leave@lists.tockos.org