October 2025 - Devel - lists.tockos.org

Re: Porting Tock OS to STM32 (L476 / F756)

by Amit Levy

That's great! It's unfortunately a bit buried, but there the porting guide suggests what a minimal upstream board should support: <https://book.tockos.org/development/porting#adding-a-platform-to-tock-repos…> 1. The hardware must be widely available. Generally that means the hardware platform can be purchased online. 2. The port of Tock to the platform must include at least: - Console support so that debug!() and printf() work. - Timer support. - GPIO support with interrupt functionality. 3. The contributor must be willing to maintain the platform, at least initially, and help test the platform for future releases. In other words, the blink and hello world apps should work. GPIO, RCC and UART should be sufficient for this. Having said that, there is no harm to initiating a draft pull request _or_ sharing an external repo with the port at whatever stage you have if it would be useful to get a gut check that the style and/or implementation details are on the right path. On October 26, 2025 8:46:05 AM PDT, Kamil Duljas <dudo1990(a)gmail.com> wrote: >Thank you for all replies. I ran Tock os on L476 :D but only minimal stuff >to blinking Led. I'm wondering what should be done before first official >pull request? Full gpio, RCC, UART? > >Greetings >Kamil Duljas > >pon., 20 paź 2025, 19:30 użytkownik Patrick Pannuto <ppannuto(a)ucsd.edu> >napisał: > >> +Tyler Potyondy <tpotyondy(a)ucsd.edu> and a few other folks are most of >> the way through a port to the STM32WLE5xx family, which may share some more >> with the STM32L than the existing STM32F upstream as well >> >> On Sat, Oct 18, 2025 at 5:51 AM Amit Levy via Devel < >> devel(a)lists.tockos.org> wrote: >> >>> Hi and welcome! >>> >>> I don't see any obstacles. The STM32L476 is a Cortex-M4, of which there >>> are many examples upstream, and the STM32F756 is a Cortex-M7 for which >>> there is support (albeit only one example upstream, so there is of >>> course a slightly higher likelihood of kinds to iron out). >>> >>> Since both are STM chips, I'd expect much of their peripherals to be >>> shared with or at least very similar to some of the STM32 chips for >>> which there are upstream ports. >>> >>> Keep posted and please feel free to ask questions or for help or if you >>> run into issues! >>> >>> -Amit >>> >>> Kamil Duljas via Devel <devel(a)lists.tockos.org> writes: >>> >>> > Hi, >>> > >>> > I'd like to port Tock OS to an STM32 microcontroller - either the >>> STM32L476 >>> > or STM32F756. >>> > >>> > Are there any known technical obstacles or limitations that would make >>> this >>> > difficult? >>> > >>> > Best regards, >>> > Pozdrawiam, >>> > Kamil Duljas >>> > _______________________________________________ >>> > Devel mailing list -- devel(a)lists.tockos.org >>> > To unsubscribe send an email to devel-leave(a)lists.tockos.org >>> _______________________________________________ >>> Devel mailing list -- devel(a)lists.tockos.org >>> To unsubscribe send an email to devel-leave(a)lists.tockos.org >>> >>

Oct. 26, 2025

Re: Porting Tock OS to STM32 (L476 / F756)

by Kamil Duljas

Thank you for all replies. I ran Tock os on L476 :D but only minimal stuff to blinking Led. I'm wondering what should be done before first official pull request? Full gpio, RCC, UART? Greetings Kamil Duljas pon., 20 paź 2025, 19:30 użytkownik Patrick Pannuto <ppannuto(a)ucsd.edu> napisał: > +Tyler Potyondy <tpotyondy(a)ucsd.edu> and a few other folks are most of > the way through a port to the STM32WLE5xx family, which may share some more > with the STM32L than the existing STM32F upstream as well > > On Sat, Oct 18, 2025 at 5:51 AM Amit Levy via Devel < > devel(a)lists.tockos.org> wrote: > >> Hi and welcome! >> >> I don't see any obstacles. The STM32L476 is a Cortex-M4, of which there >> are many examples upstream, and the STM32F756 is a Cortex-M7 for which >> there is support (albeit only one example upstream, so there is of >> course a slightly higher likelihood of kinds to iron out). >> >> Since both are STM chips, I'd expect much of their peripherals to be >> shared with or at least very similar to some of the STM32 chips for >> which there are upstream ports. >> >> Keep posted and please feel free to ask questions or for help or if you >> run into issues! >> >> -Amit >> >> Kamil Duljas via Devel <devel(a)lists.tockos.org> writes: >> >> > Hi, >> > >> > I'd like to port Tock OS to an STM32 microcontroller - either the >> STM32L476 >> > or STM32F756. >> > >> > Are there any known technical obstacles or limitations that would make >> this >> > difficult? >> > >> > Best regards, >> > Pozdrawiam, >> > Kamil Duljas >> > _______________________________________________ >> > Devel mailing list -- devel(a)lists.tockos.org >> > To unsubscribe send an email to devel-leave(a)lists.tockos.org >> _______________________________________________ >> Devel mailing list -- devel(a)lists.tockos.org >> To unsubscribe send an email to devel-leave(a)lists.tockos.org >> >

Oct. 26, 2025

Re: Porting Tock OS to STM32 (L476 / F756)

by Patrick Pannuto

+Tyler Potyondy <tpotyondy(a)ucsd.edu> and a few other folks are most of the way through a port to the STM32WLE5xx family, which may share some more with the STM32L than the existing STM32F upstream as well On Sat, Oct 18, 2025 at 5:51 AM Amit Levy via Devel <devel(a)lists.tockos.org> wrote: > Hi and welcome! > > I don't see any obstacles. The STM32L476 is a Cortex-M4, of which there > are many examples upstream, and the STM32F756 is a Cortex-M7 for which > there is support (albeit only one example upstream, so there is of > course a slightly higher likelihood of kinds to iron out). > > Since both are STM chips, I'd expect much of their peripherals to be > shared with or at least very similar to some of the STM32 chips for > which there are upstream ports. > > Keep posted and please feel free to ask questions or for help or if you > run into issues! > > -Amit > > Kamil Duljas via Devel <devel(a)lists.tockos.org> writes: > > > Hi, > > > > I'd like to port Tock OS to an STM32 microcontroller - either the > STM32L476 > > or STM32F756. > > > > Are there any known technical obstacles or limitations that would make > this > > difficult? > > > > Best regards, > > Pozdrawiam, > > Kamil Duljas > > _______________________________________________ > > Devel mailing list -- devel(a)lists.tockos.org > > To unsubscribe send an email to devel-leave(a)lists.tockos.org > _______________________________________________ > Devel mailing list -- devel(a)lists.tockos.org > To unsubscribe send an email to devel-leave(a)lists.tockos.org >

Oct. 20, 2025

Re: Porting Tock OS to STM32 (L476 / F756)

by Amit Levy

Hi and welcome! I don't see any obstacles. The STM32L476 is a Cortex-M4, of which there are many examples upstream, and the STM32F756 is a Cortex-M7 for which there is support (albeit only one example upstream, so there is of course a slightly higher likelihood of kinds to iron out). Since both are STM chips, I'd expect much of their peripherals to be shared with or at least very similar to some of the STM32 chips for which there are upstream ports. Keep posted and please feel free to ask questions or for help or if you run into issues! -Amit Kamil Duljas via Devel <devel(a)lists.tockos.org> writes: > Hi, > > I'd like to port Tock OS to an STM32 microcontroller - either the STM32L476 > or STM32F756. > > Are there any known technical obstacles or limitations that would make this > difficult? > > Best regards, > Pozdrawiam, > Kamil Duljas > _______________________________________________ > Devel mailing list -- devel(a)lists.tockos.org > To unsubscribe send an email to devel-leave(a)lists.tockos.org

Oct. 18, 2025

Porting Tock OS to STM32 (L476 / F756)

by Kamil Duljas

Hi, I'd like to port Tock OS to an STM32 microcontroller - either the STM32L476 or STM32F756. Are there any known technical obstacles or limitations that would make this difficult? Best regards, Pozdrawiam, Kamil Duljas

Oct. 18, 2025