Пускам нишка в реално време на Xenomai, която понякога трябва да извика gettimeofday(), за да разбере какво е текущото време според ptpd. Това обаче изглежда не е безопасно: по-специално понякога поставя нишката на Xenomai и ядрото на Linux в...