1 # Location of default kernels
2 KDIR-odroida:=/projects/pr297/linux/odroid-a/current/linux
3 KDIR-odroidpc:=/projects/pr297/linux/odroid-pc/current/linux
4 KDIR-odroidq:=/projects/pr297/linux/odroid-q/current/linux
5 KDIR-orion:=/projects/pr297/linux/orion/current/linux
6 KDIR-pegasus:=/projects/pr297/linux/pegasus-smdk/current/linux
7 KDIR-tcc8900:=/projects/pr297/linux/tcc8900/current/linux
8 KDIR-pb11mp:=/projects/pr297/linux/pb11mp/current/linux
9 KDIR-vea9:=/projects/pr297/linux/vea9/current/linux
10 KDIR-snowball:=/no/default/kernel/yet
12 # Name of platform directory with platform specific code (should be built into kernel on a real system)
13 MALI_PLATFORM-odroida=exynos4
14 MALI_PLATFORM-odroidpc=exynos4
15 MALI_PLATFORM-odroidq=exynos4
16 MALI_PLATFORM-orion=exynos4
17 MALI_PLATFORM-pegasus=exynos4
19 MALI_PLATFORM-pegasus-m400=pegasus-m400
20 MALI_PLATFORM-exynos3250=exynos3250
21 MALI_PLATFORM-exynos3470=exynos3470
22 MALI_PLATFORM-exynos4415=exynos4415
23 MALI_PLATFORM-tcc8900=tcc8900
24 MALI_PLATFORM-pb11mp=arm
25 MALI_PLATFORM-vea9=arm
26 MALI_PLATFORM-snowball=ux500