Fix b51b15e: re-disable dispatcher in thread_mutex_lock* and thread_sem_wait().
[barrelfish] / LICENSE
2011-07-08 Stefan KästleInitial version of public stable barrelfish repository.