Re: Stalled head domain on x86_64 platform

2020-06-02 Thread Jan Kiszka via Xenomai
On 02.06.20 09:37, Alexander Frolov via Xenomai wrote: > Hi all! > > I've encountered with the following ipipe error message. What can it be? > Thank you! > > Best, >     Alex > > > [ 2275.770959] I-pipe: Detected stalled head domain, probably caused by > a bug. >    A

Stalled head domain on x86_64 platform

2020-06-02 Thread Alexander Frolov via Xenomai
Hi all! I've encountered with the following ipipe error message. What can it be? Thank you! Best,     Alex [ 2275.770959] I-pipe: Detected stalled head domain, probably caused by a bug.    A critical section may have been left unterminated. [ 2275.770965] CPU: 2 PID: 0