1 SOC_FAMILY = "ti33x"
2 require conf/machine/include/soc-family.inc
4 require conf/machine/include/tune-cortexa8.inc
5 PREFERRED_PROVIDER_virtual/kernel = "linux-ti33x-psp"
6 # Increase this everytime you change something in the kernel
7 MACHINE_KERNEL_PR = "r16"
9 KERNEL_IMAGETYPE = "uImage"
11 UBOOT_ENTRYPOINT = "0x80008000"
12 UBOOT_LOADADDRESS = "0x80008000"
14 EXTRA_IMAGEDEPENDS += "u-boot"