Apparently, I was trying to generate a 32-bit kernel on a 64-bit machine (this was by accident). Is this the expected behaviour in this case ?
-- You received this bug notification because you are a member of Desktop Packages, which is subscribed to nvidia-graphics-drivers-331 in Ubuntu. https://bugs.launchpad.net/bugs/1366925 Title: nvidia-331 331.38-0ubuntu7.1: nvidia-331 kernel module failed to build for kenel 3.16.2 [error: code model ‘kernel’ not supported in the 32 bit mode] Status in “nvidia-graphics-drivers-331” package in Ubuntu: New Bug description: Examining /etc/kernel/header_postinst.d. run-parts: executing /etc/kernel/header_postinst.d/dkms 3.16.2-031602-generic /boot/vmlinuz-3.16.2-031602-generic Error! Bad return status for module build on kernel: 3.16.2-031602-generic (x86_64) Consult /var/lib/dkms/nvidia-331/331.38/build/make.log for more information. ProblemType: Package DistroRelease: Ubuntu 14.04 Package: nvidia-331 331.38-0ubuntu7.1 Uname: Linux 3.16.0-031600-generic x86_64 ApportVersion: 2.14.1-0ubuntu3.3 Architecture: amd64 DKMSKernelVersion: 3.16.2-031602-generic Date: Mon Sep 8 20:19:51 2014 DuplicateSignature: dkms:nvidia-331:331.38-0ubuntu7.1:/var/lib/dkms/nvidia-331/331.38/build/nv.c:1:0: error: code model ‘kernel’ not supported in the 32 bit mode InstallationDate: Installed on 2014-04-25 (136 days ago) InstallationMedia: Ubuntu 13.10 "Saucy Salamander" - Release amd64 (20131016.1) PackageVersion: 331.38-0ubuntu7.1 SourcePackage: nvidia-graphics-drivers-331 Title: nvidia-331 331.38-0ubuntu7.1: nvidia-331 kernel module failed to build UpgradeStatus: Upgraded to trusty on 2014-04-25 (136 days ago) To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/nvidia-graphics-drivers-331/+bug/1366925/+subscriptions -- Mailing list: https://launchpad.net/~desktop-packages Post to : desktop-packages@lists.launchpad.net Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp