Fwd: How can I tell Debian on a Raspberry Pi 4B (4GB) which kernel image to load at boot time?

I just realized that my reply did not hit the list. -- Forwarded message - From: Hank Barta Date: Wed, Aug 2, 2023 at 9:51 AM Subject: Re: How can I tell Debian on a Raspberry Pi 4B (4GB) which kernel image to load at boot time? To: Rick Thomas Hi Rick, I have not experienced t

Re: Status of dpkg-shlibdeps tracking ARM object linkage ABI mismatches

Hi, On 2023-06-28 01:41, Guillem Jover wrote: > On Fri, 2023-06-16 at 11:19:21 +0200, Emanuele Rocca wrote: > > are written in > > Pascal. It seems that fpc just emits the wrong flags. As an example, > > here is the readelf output for the armhf version of cqrlog. Note that > > Tag_ABI_VFP_args is