Verified:
$ dpkg-deb -c linux-image-3.2.0-1422-omap4_3.2.0-1422.29_armel.deb | grep ondemand -rw-r--r-- root/root 16648 2012-11-22 15:25 ./lib/modules/3.2.0-1422-omap4/kernel/drivers/cpufreq/cpufreq_ondemand.ko $ dpkg-deb -c linux-image-3.2.0-1422-omap4_3.2.0-1422.29_armhf.deb | grep ondemand -rw-r--r-- root/root 16648 2012-11-22 15:20 ./lib/modules/3.2.0-1422-omap4/kernel/drivers/cpufreq/cpufreq_ondemand.ko $ dpkg-deb -c linux-image-3.2.0-1423-omap4_3.2.0-1423.30_armel.deb | grep ondemand $ dpkg-deb -c linux-image-3.2.0-1423-omap4_3.2.0-1423.30_armhf.deb | grep ondemand $
Verified:
$ dpkg-deb -c linux-image- 3.2.0-1422- omap4_3. 2.0-1422. 29_armel. deb | grep ondemand 3.2.0-1422- omap4/kernel/ drivers/ cpufreq/ cpufreq_ ondemand. ko 3.2.0-1422- omap4_3. 2.0-1422. 29_armhf. deb | grep ondemand 3.2.0-1422- omap4/kernel/ drivers/ cpufreq/ cpufreq_ ondemand. ko 3.2.0-1423- omap4_3. 2.0-1423. 30_armel. deb | grep ondemand 3.2.0-1423- omap4_3. 2.0-1423. 30_armhf. deb | grep ondemand
-rw-r--r-- root/root 16648 2012-11-22 15:25 ./lib/modules/
$ dpkg-deb -c linux-image-
-rw-r--r-- root/root 16648 2012-11-22 15:20 ./lib/modules/
$ dpkg-deb -c linux-image-
$ dpkg-deb -c linux-image-
$