[POWERPC] Enable tickless idle and high res timers for powerpc
[wandboard.git] / arch / ppc / 
tree32b11be0e78b5b4645b1c9060a6bb6cd7108db6e
drwxr-xr-x   ..
-rw-r--r-- 9 .gitignore
drwxr-xr-x - 4xx_io
drwxr-xr-x - 8260_io
drwxr-xr-x - 8xx_io
-rw-r--r-- 35197 Kconfig
-rw-r--r-- 1493 Kconfig.debug
-rw-r--r-- 4679 Makefile
drwxr-xr-x - boot
drwxr-xr-x - configs
drwxr-xr-x - kernel
drwxr-xr-x - lib
drwxr-xr-x - mm
drwxr-xr-x - platforms
drwxr-xr-x - syslib
drwxr-xr-x - xmon