Using original package
virtualbox-4.1_4.1.12-77245~Ubuntu~precise_amd64.deb from upstream gives
exactly the same error. In changelog, seems version 4.1.24 merge fixes
for 3.8 kernel (https://www.virtualbox.org/wiki/Changelog-4.1):

---
 VirtualBox 4.1.24 (released 2012-12-19)

This is a maintenance release. The following items were fixed and/or added:
(...)
    Linux hosts / guests: Linux 3.7-rc1 fixes
(...)
---

I've installed virtualbox-4.1_4.1.24-82872~Ubuntu~precise_amd64.deb from
upstream, and works OK. No error at instalation

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1218892

Title:
  virtualbox-dkms 4.1.12-dfsg-2ubuntu0.3: virtualbox kernel module
  failed to build

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/virtualbox/+bug/1218892/+subscriptions

-- 
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

Reply via email to