On Tuesday 24 October 2006 09:27, Ingo Freund wrote: > mach_mpspec.h A quick search on my Debian install shows that file in both the kernel headers for your running kernel that can be installed and the generic linux-kernel-headers package perhaps you need one/both of these installed. Stephen -- GPG Pubic Key: http://users.eastlink.ca/~stephencormier/publickey.asc