Kernel Sources

goennema · Feb 23rd 2009

Hello,

I am trying to compile video 4 linux for the picocom-architecture. Therefor I am missing the linux kernel sources matching the distributions configuration. Is it possible to distribute them, please? (I am confused why they are not already avaiable somewhere. Isn't this a GPL-violation?)

fs-support_HK · Feb 24th 2009

If the source is not on the accompanied CD, you can download the source code from emlix. Usually you'll find a file SUPPORT on your CD that tells you how to find the download site and how to log in to download updates and the source package.

I have checked for the PicoCOM1, the Linux source code is definitely contained on the Eval-BSP disc. File

bsp/picocom1-src-Eval-BSP-1.0.tar.gz

and there in

picocom1-bsp/src/linux-2.6/text/linux-2.6.v2.6.25-pc1-1.tar.gz

For the other boards I don't have a disc at hand right now, so I can't check. But I would assume it's rather similar.

Regards,

H. Keller

a.calderon · Mar 26th 2009

I think he doesn't talk about the kernel code but kernel configuration.

It's in picocom1-bsp/src/linux-config/text/linux-config

haeberle · Jun 3rd 2009

It is accessable on the device by cat /proc/config.gz as well.

At least if the kernel is configured to provide this - which I would say is a MUST for such a distrubution.

Share