Page 1 of 1

Linux 4.1.15 sources - where are they?

PostPosted: Wed Jul 19, 2017 1:57 pm
by matejg
Hi all!

I've searched git and FTP, but cannot find 4.1.15 sources. I'm using Wandboard + Ubuntu 16.04 image and would like to tweak kernel settings.

1) Does anybody know where to get the sources against which Ubuntu 16.04 image got it's kernel (Linux wandboard 4.1.15-134094-gd28f9da) ?
2) Is it by any chance a vanilla kernel?
3) Is the toolsuite Linaro (Linaro GCC 5.1-2015.08) ?

Best regards,

Re: Linux 4.1.15 sources - where are they?

PostPosted: Mon Jul 31, 2017 5:29 am
by Richard
Hello matejg:

1) The linux 4.1.15 source code is on wandboard github. ... 5_1.1.0_ga
2) This kernel is forked from Freescale git repository: ... .6-imx.git
There is a linux repository called "linux-fslc". This is Linux Kernel mainline with backported fixes (
3) I also use Linaro GCC 5.1-2015.08 (hardfloat). It's works pretty well.