packaging: fix kernel version
[profile/ivi/kernel-x86-ivi.git] / arch / arc / plat-tb10x /
drwxr-xr-x   ..
-rw-r--r-- 1204 Kconfig
-rw-r--r-- 808 Makefile
-rw-r--r-- 1291 tb10x.c