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