Bug#906769: arm kernels fail to boot

[Domenico Andreoli <cavok@debian.org>]

On Wed, Aug 22, 2018 at 4:36 AM Salvatore Bonaccorso <carnil@debian.org> wrote:
>
> Hi,

ciao,

> On Tue, Aug 21, 2018 at 10:07:42PM +0200, Salvatore Bonaccorso wrote:
> > I have put in
> >
> > https://people.debian.org/~carnil/tmp/linux/arm64/
> > https://people.debian.org/~carnil/tmp/linux/armel/
> > [https://people.debian.org/~carnil/tmp/linux/all/]
>
> armhf packages:
> https://people.debian.org/~carnil/tmp/linux/armhf/

armmp on Allwinner A20: it works.

thanks,
Domenico

-- 
3B10 0CA1 8674 ACBA B4FE  FCD2 CE5B CF17 9960 DE13