Porting Xenomai to STM32MP1

2020-05-21 Thread Cesare Masetti via Xenomai
Hello, I'm trying to port Xenomai to a new arm SOC, here follow my specs: - ARMv7 architecture - STM32MP157 SOC, on STM32MP157C-DK2 evaluation board this SOC has a dual Cortex-A7 and a single Cortex-M4, it has an ARM GIC and it should have also an architected timer. - Linux ve

Porting Xenomai to STM32MP1

2020-05-21 Thread Cesare Masetti via Xenomai
Sorry, I forgot to say that with CONFIG_SMP disabled the kernel boots normally, and I am also able to run latency test (albeit with mixed results). Cesare Masetti R&D Measuring Systems - Hardware Designer cesare.mase...@marposs.com

Porting Xenomai to STM32MP1

2020-05-22 Thread Cesare Masetti via Xenomai
Hi, >- Messaggio di origine - >Da: "Greg Gallagher" >A: "Cesare Masetti" >Cc: "Xenomai@xenomai.org" >Oggetto: Re: Porting Xenomai to STM32MP1 >Data: Gio 21 Mag 2020 7:41 PM > >Hi, > >On Thu, M

Porting Xenomai to STM32MP1

2020-06-03 Thread Cesare Masetti via Xenomai
reg Gallagher" <[3]g...@embeddedgreg.com> >A: "Cesare Masetti" <[4]cesare.mase...@marposs.com> >Cc: "[5]Xenomai@xenomai.org" <[6]xenomai@xenomai.org> >Oggetto: Re: Porting Xenomai to STM32MP1 >Data: Gio 21 Mag 2020 7:41 PM > &g