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