Linux 4.1.15 sources - where are they?

Discuss Ubuntu related items.

Linux 4.1.15 sources - where are they?

Postby matejg » Wed Jul 19, 2017 1:57 pm

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,
Matej
matejg
 
Posts: 18
Joined: Tue Oct 14, 2014 8:11 pm

Re: Linux 4.1.15 sources - where are they?

Postby Richard » Mon Jul 31, 2017 5:29 am

Hello matejg:

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

BR,

Richard
Richard
Site Admin
 
Posts: 138
Joined: Tue Dec 17, 2013 6:57 am


Return to Software - Ubuntu

Who is online

Users browsing this forum: No registered users and 11 guests