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@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 <https://urldefense.com/v3/__https://github.com/tock/tock/pull/4672__;!!Dq0X2...>
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