On 22/10/2015 4:41 pm, Sebastian Huber wrote: > > If you use C11, C++11, libgomp or libbsd synchronization objects, then > the storage space for them is provided by the user and not the workspace. > Typically drivers in BSPs have used documented APIs. Is this approach and support documented and available for users? Is it available in 4.11? Chris