[PATCH] ppc32: Fix a problem with NTP on !(chrp||gemini)
[linux-3.10.git] / arch / x86_64 / boot / compressed /
drwxr-xr-x   ..
-rw-r--r-- 916 Makefile
-rw-r--r-- 3063 head.S
-rw-r--r-- 8573 misc.c
-rw-r--r-- 1446 miscsetup.h
-rw-r--r-- 130 vmlinux.scr