From mboxrd@z Thu Jan 1 00:00:00 1970 From: Gabriel Dinse Subject: Re: =?UTF-8?B?UmU6IFJlOiBSZTogZXJyb3I6IGltcGxpY2l0IGRlY2xhcmF0aW9uIG9mIGZ1bmN0aW9uIA==?= =?UTF-8?B?4oCYX19PUEVOX05FRURTX01PREXigJk=?= Date: Mon, 28 Dec 2020 21:45:19 +0000 Message-ID: Content-Language: en-US MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable List-Id: Discussions about the Xenomai project List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , To: "xenomai@xenomai.org" I am trying to use mainline Kernel. I think xenomai has a fork for RPI kern= el 4.1 but it is not up to date, right? Also, the right paper is http://kth= .diva-portal.org/smash/get/diva2:1251188/FULLTEXT01.pdf, not the other one = I sent. The author managed to use kernel 4.9.51 disabling support for syste= ms besides Broadcom BCM2835.