Bug#864260: Missing kernel in debian-installer sd-card images for armhf (stretch)

2017-06-07 Thread Cyril Brulebois
Karsten Merker (2017-06-07): > I have done test builds with both 50MB and 100MB raw image size. > The difference in the resulting compressed binary size is less > than 60kBytes, so that shouldn't pose a problem even for people > on very-low-bandwidth internet connections. I suppose the > additio

Bug#864260: Missing kernel in debian-installer sd-card images for armhf (stretch)

2017-06-07 Thread Cyril Brulebois
Cyril Brulebois (2017-06-07): > I'm fine with whatever value is determined by consensus among arm > people. > > Currently testing a patch to detect full disk (it's been in our build > logs for months…). As mentioned a couple hours ago, patches were pushed for that, and I've also verified that th

Processed: Re: Bug#864260: Missing kernel in debian-installer sd-card images for armhf (stretch)

2017-06-07 Thread Debian Bug Tracking System
Processing control commands: > tags 864260 +pending Bug #864260 [debian-installer] Missing kernel in debian-installer sd-card images for armhf (stretch) Added tag(s) pending. -- 864260: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=864260 Debian Bug Tracking System Contact ow...@bugs.debian.

Bug#864260: Missing kernel in debian-installer sd-card images for armhf (stretch)

2017-06-06 Thread Cyril Brulebois
Karsten Merker (2017-06-06): > I guess I have found the problem: the images have a fixed size > (~40MB uncompressed) and the netboot build has grown a few kBytes > larger than that while the hd-media build still fits (although > tightly). Increasing the image size should solve the problem. I've a

Bug#864260: Missing kernel in debian-installer sd-card images for armhf (stretch)

2017-06-06 Thread Cyril Brulebois
Vagrant Cascadian (2017-06-06): > I'd like to gently push for making it even larger, say 100MB. when > debugging different kernel versions, it's often helpful to be able to > append all modules to the initrd.gz, which can result in ~30MB+ initrd > images, which usually means an extra step to copy

Bug#864260: Missing kernel in debian-installer sd-card images for armhf (stretch)

2017-06-06 Thread Vagrant Cascadian
On 2017-06-06, Karsten Merker wrote: > On Tue, Jun 06, 2017 at 10:47:55PM +0200, Karsten Merker wrote: > I guess I have found the problem: the images have a fixed size > (~40MB uncompressed) and the netboot build has grown a few kBytes > larger than that while the hd-media build still fits (althou

Bug#864260: Missing kernel in debian-installer sd-card images for armhf (stretch)

2017-06-06 Thread Cyril Brulebois
Hi, Karsten Merker (2017-06-06): > I guess I have found the problem: the images have a fixed size (~40MB > uncompressed) and the netboot build has grown a few kBytes larger than > that while the hd-media build still fits (although tightly). > Increasing the image size should solve the problem. W

Processed: Re: Bug#864260: Missing kernel in debian-installer sd-card images for armhf (stretch)

2017-06-06 Thread Debian Bug Tracking System
Processing control commands: > tags 864260 +patch Bug #864260 [debian-installer] Missing kernel in debian-installer sd-card images for armhf (stretch) Added tag(s) patch. -- 864260: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=864260 Debian Bug Tracking System Contact ow...@bugs.debian.org

Bug#864260: Missing kernel in debian-installer sd-card images for armhf (stretch)

2017-06-06 Thread Diego Roversi
On Tue, 6 Jun 2017 02:24:41 +0200 Cyril Brulebois wrote: > > I'm not familiar with those images, but they should contain u-boot > configuration and needed bits. From the log above, it looks like a > vmlinuz was found, but initrd.gz couldn't be read. Cc'ing debian-arm@ > since I don't know much m

Bug#864260: Missing kernel in debian-installer sd-card images for armhf (stretch)

2017-06-05 Thread Cyril Brulebois
Hi, Diego Roversi (2017-06-05): > Package: debian-installer > Version: 20170525 > > The sd-card images of debian-installer for arm-hf don't have a kernel > image inside, and they can't boot from sd. > > To reproduce the problem: > > #wget > http://ftp.uk.debian.org/debian/dists/stretch/main/i

Bug#864260: Missing kernel in debian-installer sd-card images for armhf (stretch)

2017-06-05 Thread Diego Roversi
Package: debian-installer Version: 20170525 The sd-card images of debian-installer for arm-hf don't have a kernel image inside, and they can't boot from sd. To reproduce the problem: #wget http://ftp.uk.debian.org/debian/dists/stretch/main/installer-armhf/current/images/netboot/SD-card-images/