On 2015-01-29, aTc wrote:
The (major) things i enabled were lpae and virtualization, which also required disabling armv6 support. So i suspect one of those to be the cause of the problems. Without those changes, the debian xorg crashes almost immediately (unless the non thumb version from our repo is used)
https://wiki.debian.org/ArmHardFloatPort#Supported_devices
"Currently the Debian armhf port requires at least an ARMv7 CPU with Thumb-2 and VFP3D16."
The main obvious thumb related change from the armhf kernels in Debian vs. the armel kernels is CONFIG_ARM_THUMBEE=y. They all have CONFIG_ARM_THUMB=y.
live well, vagrant