According to the documentation included with the M54455EVB BSP, glibc includes Posix Semaphores. But the file semaphore.h just contains:
#include <linuxthreads/semaphore.h>
and there is no linuxthreads directory. Programs using sem_t etc won't compile. Anyone have any idea where to find the missing header file?