[PATCH] x86_64: Add acpi_skip_timer_override option
[pandora-kernel.git] / arch / x86_64 /
drwxr-xr-x   ..
-rw-r--r-- 12214 Kconfig
-rw-r--r-- 1961 Kconfig.debug
-rw-r--r-- 3886 Makefile
drwxr-xr-x - boot
-rw-r--r-- 23298 defconfig
drwxr-xr-x - ia32
drwxr-xr-x - kernel
drwxr-xr-x - lib
drwxr-xr-x - mm
drwxr-xr-x - oprofile
drwxr-xr-x - pci