Update configs
[kernel-configs.git] / 4.0 /
drwxr-xr-x   ..
-rw-r--r-- 182131 x86-32-nonpae
-rw-r--r-- 183150 x86-32-pae
-rw-r--r-- 178980 x86-64