[Buildroot] Problem with starting TI Graphics

[Thomas Petazzoni]

Dear Peter Kuemmel,

On Fri, 14 Feb 2014 11:24:06 +0100, Peter Kuemmel wrote:

> Thanks, I found the issue: it was the missing user binary thumb support in the kernel.

Interesting. Were you building the kernel with Buildroot, or separately?

If you built your kernel with Buildroot, then maybe we should add
something like:

	$(if $(BR2_ARM_INSTRUCTIONS_THUMB)$(BR2_ARM_INSTRUCTIONS_THUMB2),
		$(call KCONFIG_ENABLE_OPT,CONFIG_ARM_THUMB,$(@D)/.config))

This way we would ensure that the kernel gets built with
CONFIG_ARM_THUMB=y when the Thumb or Thumb-2 instruction sets have been
selected for userspace.

Thoughts?

Thomas
-- 
Thomas Petazzoni, CTO, Free Electrons
Embedded Linux, Kernel and Android engineering
http://free-electrons.com