gcc/Linux stuck in sl_Start/SlNonOsSemGet

Built with

cd example/udp_socket/gcc

make

(in a second shell)

openocd -f cc3200.cfg

(back to first)

arm-eabi-gdb exe/udp_socket.axf

Trying the udp_socket demo, but all of them show the same behaviour. 

Looking further I can see that the code is waiting for something from the NWP, but the irq is not going off.  More inspection shows that the irq bit shows pending, but has not executed the isr code (break point not hit).

(gdb) load
Loading section .text, size 0xd480 lma 0x20004000
Loading section .data, size 0x8d0 lma 0x20011480
Start address 0x20005854, load size 56656
Transfer rate: 67 KB/sec, 11331 bytes/write.
(gdb) c
Continuing.
^C
Program received signal SIGINT, Interrupt.
0x200086dc in _SlNonOsMainLoopTask () at ../source/nonos.c:149
149        for (i=0 ; i<NONOS_MAX_SPAWN_ENTRIES ; i++)
(gdb) bt
#0  0x200086dc in _SlNonOsMainLoopTask () at ../source/nonos.c:149
#1  0x200085fa in _SlNonOsSemGet (pSyncObj=0x20014018 <g_StatMem+20> "\021", WaitValue=34 '"', SetValue=17 '\021', Timeout=255 '\377')
    at ../source/nonos.c:93
#2  0x20007e24 in _SlDrvSyncObjWaitForever (pSyncObj=0x20014018 <g_StatMem+20> "\021") at ../source/driver.c:1799
#3  0x20005a36 in sl_Start (pIfHdl=0x0, pDevName=0x0, pInitCallBack=0x0) at ../source/device.c:132
#4  0x20004834 in ConfigureSimpleLinkToDefaultState () at ../main.c:413
#5  0x20005464 in main () at ../main.c:1088
(gdb) x/8x 0xe000e100
0xe000e100:    0x00000000    0x0000c000    0x00000000    0x00000000
0xe000e110:    0x00000000    0x00020800    0x00000000    0x00000000
(gdb) x/8x 0xe000e200
0xe000e200:    0x00000000    0x00000000    0x00000000    0x00000000
0xe000e210:    0x00000000    0x00000800    0x00000000    0x00000000
(gdb) p/x $xPSR
$3 = 0x10000bb
(gdb) p $basepri
$4 = 0

Any ideas?