On Wednesday 03 July 2019 07:34:55 andy pugh wrote: > On Wed, 3 Jul 2019 at 11:15, Robert Murphy <robert.mur...@gmx.com> wrote: > > Sorry for dbl post, I take it the package list wasn't updated in the > > directory ?
I think it is now, I just pulled it. linux-image-4.14.130-rtai-x86-64_4.14.130-rtai-x86-64-4_amd64.deb > Indeed not, it's just an orphaned .deb file at the moment. > I just wanted to be sure that I had managed to make a working and > reasonably portable kernel .deb > The released version is likely to be 4.14.131, for a start. As an aside, the rt-preempt version of the 2018 testing stretch I replaced with 4.9.0-9-amd64 #1 SMP Debian 4.9.168-1+deb9u3 (2019-06-16) has had no further losses of keyboard and or mice, causing many reset button reboots. This non-rt is dead stable. Cheers, Gene Heskett -- "There are four boxes to be used in defense of liberty: soap, ballot, jury, and ammo. Please use in that order." -Ed Howdershelt (Author) If we desire respect for the law, we must first make the law respectable. - Louis D. Brandeis Genes Web page <http://geneslinuxbox.net:6309/gene> _______________________________________________ Emc-developers mailing list Emc-developers@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/emc-developers
