Resync some kernel configuration options
[openwrt.git] / target / linux / uml / config /
drwxr-xr-x   ..
-rw-r--r-- 4302 i386
-rw-r--r-- 2824 x86_64