On Fri, Jun 14, 2013 at 07:41:24AM +0100, Stuart Winter wrote: > I've been unable to produce Linux 3.8 and 3.9 kernels with gcc 4.8.0, but > the same kernels build and boot when compiled with gcc 4.7.2. FWIW, I'm also unable to get a stable kernel for kirkwood with 4.8 (already tried 4.8.1), but GCC 4.7.3 is fine: http://marc.info/?l=linux-arm-kernel&m=137116114613793&w=2 A.