packaging: fix kernel version
[profile/ivi/kernel-x86-ivi.git] / arch / mips / sibyte /
drwxr-xr-x   ..
-rw-r--r-- 3643 Kconfig
-rw-r--r-- 824 Makefile
-rw-r--r-- 1536 Platform
drwxr-xr-x - bcm1480
drwxr-xr-x - common
drwxr-xr-x - sb1250
drwxr-xr-x - swarm