Hi. On Fri, Sep 10, 2021 at 08:07:56AM -0400, Gene Heskett wrote: > On Friday 10 September 2021 06:59:17 Reco wrote: > > > On Fri, Sep 10, 2021 at 09:50:24AM +0200, LinAdmin wrote: > > > I have some doubts that debian.net has the same ownership > > > than official debian.org? > > > > RPi images from raspi.debian.net are GPG-signed by Gunnar Wolf's key > > (who is Debian Developer), that's good enough for me. > > But will they run my lathe? If they cannot do it safely, with IRQ latency > response well under 50 microseconds they are of sub-zero interest to me.
Images provided by raspi.debian.net are shipped with ordinary, non-RT kernel. Feel free to install RT-enabled kernel from the usual sources. Reco