[15:26] <xnox> kees:  we do build linux-raspi for armhf and it is used on pi's with less than 4GB of RAM. We do build linux (generic) for armhf, but i don't know if anybody actually boots it. In theory we have uboot and dtbs for some intersection of armhf things..... but in practice we don't provide installer media for them. If people are booting them, they figured out how to debootstrap an sd-card and put
[15:26] <xnox> uboot on it by hand.
[15:28] <ogra> the pc-kernel snp for armhf ships ~500 dtbs
[15:28] <ogra> *snap
[15:28] <ogra> which means you could theoretically use it on these systems 
[15:29] <ogra> (i personally use it on a pocketbeagle, beglebone black, cubox and sabrelite for local ubuntu core images)
[15:31] <ogra> and with us recently enabling the 512MB pi zero2 as another reference Pi device you really wouldnt want to run an arm64 system (though i guess you could use an armhf userspace with arm64 kernel here)
[15:37] <xnox> but out of ~500 dtbs => nobody knows if they still work with current kernel.
[15:37] <xnox> because dtbs seem to get contributed, but nobody actually tests that every upstream vanilla kernel actually boots on them.
[16:04] <ogra> well, most of them are for really old hardware too and since a long time in mainline ...  we will surely not run on 64MB systems, but in my experience i have not hit one yet that did not work on HW that i tried UC on
[16:04] <ogra> (with that kernel that is)
[16:05] <ogra> either way, i dont think it is realistic that we can drop arm32 kernels soon