I have firmware based on the SimpleBLEPeripheral (using CCSv6 on the CC2640). The MCU interfaces multiple sensors via GPIO pins and uses the Sensor Controller. The sensors trigger hwi via GPIO edge and the Sensor Controller issues hwi via fwSwitchOutputBuffer. These hwi simply post semaphore (and lights a debugging LED) to wake up the application task and read data from the sensor that triggered the hwi. The hwi seem to always be serviced (a debugging LED is lit when the hwi runs). However there are times when the semaphore does not wake up the application task (the same debugging LED is remains lit even though the task code for that sensor calls for it to become unlit). What could be the cause of this? Thanks!