Ubuntu

Missing headers in linux-headers-3.8.0-19

Asked by Villy Thomsen

Hi,

I'm trying to build an out of source kernel module (http://sourceforge.net/apps/trac/dvbhdhomerun/) but it fails due to missing DVB kernel headers in the linux-headers-3.8.0-19 package.

In Ubuntu 12.10 we have:

me@ubuntu1210:/usr/src/linux-headers-3.5.0-26/drivers/media/dvb/dvb-core$ dir *.h
-rw-r--r-- 1 root root 8791 Jul 21 2012 demux.h
-rw-r--r-- 1 root root 2568 Jul 21 2012 dmxdev.h
etc.

In Ubuntu 13.04:

me@ubuntu1304:/usr/src/linux-headers-3.8.0-19/drivers/media/dvb-core$ dir *.h
dir: cannot access *.h: No such file or directory

Does anybody know why they are no longer included? I'm guessing there might be a reason for it - but the only reference I can find searching for it is in an old bug where the exact same problem was fixed way back in Ubuntu 8.10 (https://bugs.launchpad.net/ubuntu/+source/linux/+bug/322732)

Question information

Language:
English Edit question
Status:
Solved
For:
Ubuntu Edit question
Assignee:
No assignee Edit question
Solved by:
Villy Thomsen
Solved:
Last query:
Last reply:
Revision history for this message
actionparsnip (andrew-woodhead666) said : 		#1

http://packages.ubuntu.com/search?searchon=contents&keywords=+demux.h&mode=exactfilename&suite=raring&arch=any

sudo apt-get install linux-headers-3.8.0-19-generic

Revision history for this message
Villy Thomsen (tfylliv) said : 		#2

Those are unfurtunately not headers for the DVB subsystem (those are headers for networking and libdvbpsi).

A better example is probably "dvb_demux.h" which is unique for the DVB headers.

Revision history for this message
actionparsnip (andrew-woodhead666) said : 		#3

i suggest you report a bug

Revision history for this message
N1ck 7h0m4d4k15 (nicktux) said : 		#4

Agreed with @actionparsnip. Ask the Kernel Developers why they removed those headers.

How to report a kernel bug? See here => https://wiki.ubuntu.com/KernelTeam/KernelTeamBugPolicies

Regards
 NikTh

Revision history for this message
Villy Thomsen (tfylliv) said : 		#5

Ok, I'll bug them. ;-)

Thanx for the link!

Revision history for this message
Herco van Brug (hercovanbrug) said : 		#6

any progress? i upgrade to 13.04 last weekend and am pulling my hair out to figure out how to get dvbhdhomerun-dkms compiled again. it stops at missing dvb_demux.h headers. adding those manually to the kernel source tree doesn't work as i get a lot of different errors. i can't get tvheadend to talk to hdhomerun now :(