Switch to the kernel of release 4.1.15_2.0.0_ga, as it builds properly with
gcc 5.x, which is now the default.
We add a linux config fragment to disable the framebuffer, to repair the
build for imx_v6_v7_defconfig.
Suggested-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
Signed-off-by: Vincent Stehlé <vincent.stehle@laposte.net>
Signed-off-by: Julien Olivain <juju@cotds.org>
Tested-by: Julien Olivain <juju@cotds.org>
Cc: Fabio Estevam <fabio.estevam@nxp.com>
[Thomas: adjust syntax in fragment.]
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
The i.MX31 Product Development Kit (or PDK) is Freescale development board
based on the i.MX31 application processor.
This defconfig is based on mainline kernel v3.15.10, and is aimed at a PDK in
"3 stack" configuration, with CPU engine board, personality board and debug
board.
Signed-off-by: Vincent Stehlé <vincent.stehle@freescale.com>
Reviewed-by: Arnout Vandecappelle (Essensium/Mind) <arnout@mind.be>
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
