linux: bump default to version 4.9.13
[buildroot-gz.git] / system / 
tree22cf6fa186c1b39b7b40586713f556ace2b7dae2
drwxr-xr-x   ..
-rw-r--r-- 17528 Config.in
-rw-r--r-- 903 device_table.txt
-rw-r--r-- 3824 device_table_dev.txt
drwxr-xr-x - skeleton