Import libmutex from http://www.ertos.nicta.com.au/downloads/libmutex--devel--1.1--version-0.tar.gz
Makefiles for libmutex
Globalise NICTA mutex headers