On Fri, Feb 28, 2020 at 11:16:41PM +0100, Richard Weinberger wrote: > Huh? > I currently do so... > It was broken but got fixed. OK, then apparently section 3.4.1 of https://xenomai.org/documentation/xenomai-3/html/README.INSTALL/ is wrong. -- Len Sorensen