Wind River Support Network


LIN6-7316 : Segmentation fault found in spinlock_with_irq_disabled program on fsl-imx6 BSP preempt-rt profile

Created: May 4, 2014    Updated: Dec 3, 2018
Resolved Date: Jun 11, 2015
Found In Version:
Fix Version:
Severity: Standard
Applicable for: Wind River Linux 6
Component/s: BSP, BSP - Async


This issue was found on the preempt-rt profile only.

Segmentation fault

cat spinlock_with_irq_disabled.c

int main() {
    *((char*)0xc0001000) = 0;
    return 0;

There is no problem on standard profile (

For more logs please refer to

Steps to Reproduce

1. Build images and load them to the target (SABRE SD) 

configure --enable-board=fsl-imx6 --enable-kernel=standard --enable-rootfs=glibc_std --with-layer=/wr-testing/kts-test,/wr-testing/bts --with-template=feature/kts-basic,feature/kts-extended,feature/kts-standard 

2. Run the KTS test case of spinlock_with_irq_disabled

Other Downloads

Live chat