Update configs
[kernel-configs.git] / 4.13 /
drwxr-xr-x   ..
-rw-r--r-- 209053 x86-32-nonpae
-rw-r--r-- 210428 x86-32-pae
-rw-r--r-- 211626 x86-64