Hi Christopher, On 01/10/2015 11:42 AM, Christopher Horler wrote: > confirmed - not a bug, patching the kernel fixes the problem.
Mind pointing to your patch? I've been seeing the "GIC CPU mask not found - kernel will fail to boot." message for a long time but since it was apparently spurious never found the time to get to the bottom of it. Thanks, Chris -- Qualcomm Innovation Center, Inc. The Qualcomm Innovation Center, Inc. is a member of the Code Aurora Forum, a Linux Foundation Collaborative Project
