Kernel headers for official Linux image.

[hylas]

Greetings

I have aquired a iMX233-OLinuXino-MINI-WiFi and a preinstalled Linux SD-card (2.6.35-6-ARCH+ kernel). Runs perfectly out of the box. But.

In order to compile support for a ethernet dongle (Asix AX88772) I need the proper kernel header files. The author of this: http://azug.minpet.unibas.ch/~lukas/bricol/olinuxino-imx233/index.html seems to have had them as part of the delivered image. However, I am unable to find them. Both the image delivered to me and the image downloded from Olimex seem to lack the files.

Are they packaged separately? Or can I find them some other way?

Thank you in advance.   
Magnus

[mbergmann]

Hi,

which files are missing?

You are talking about 'images' you downloaded. Do you try to compile on the board or cross-compile?

Regards

Mike

[hylas]

Hi Mike,

Sorry for beeing unclear.

I miss the files I (in this case) expected to find under /usr/lib/modules/2.6.35-6-ARCH+/build. All I find is a broken symlink.

(On Debian systems these are suplied by a linux-headers-... packet under a slightly different path or with the kernel source.)

I am trying to compile on the board.

The image I refer to is the file system image available from Olimex for loading onto your own SD-cards. I downloaded it to see if it was more complete than the card i was delivered. (It wasn't, but it was of a later version.)

Best regards

Magnus

[mbergmann]

Hi Magnus,

I never tried to compile anything on the board directly and considering the boards performance I don't think I have the patience to do so :-)

You may try to cross-compile the driver you need. Christian Jann provided a nice blog post about building the kernel:

http://www.jann.cc/2012/08/23/building_a_kernel_3_x_for_the_olinuxino_from_sources.html

I know benbiles (https://www.olimex.com/forum/index.php?action=profile;u=5392) did compile his stuff on the board some times ago, maybe he has some useful hints.

Regards

Mike

[hylas]

Thanks!

I'll have a look.

/Magnus

[hylas]

I found solution, of sorts.

The downloaded file system image did actually contain a kernel header packet in the pacman package cache. Installing it and the corresponding kernel package let me compile the driver I needed.

Unfortunatly the system is so out of date that it is utterly incompatible with the current Archlinuxarm repositories. (So mutch for saving time by buying a pre loaded sd-card.)