From mboxrd@z Thu Jan  1 00:00:00 1970
Date: Mon, 2 Mar 2020 15:25:38 -0500
Subject: Re: 32bit compat mode for arm64
Message-ID: <20200302202538.jkj7girqce43tgp4@csclub.uwaterloo.ca>
References: <CAFLxGvyr7f8bUxaEVpEwSGYEvX4FrkpGBV6qa2sR3SHq3wi_Yw@mail.gmail.com>
 <20200228221131.hvtpjrjm42ocbxjo@csclub.uwaterloo.ca>
 <CAFLxGvyzQ4FdHx1_YyeYKTfj76KC487BvDkGPfu6wVs3oqhVLA@mail.gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <CAFLxGvyzQ4FdHx1_YyeYKTfj76KC487BvDkGPfu6wVs3oqhVLA@mail.gmail.com>
From: lsorense@csclub.uwaterloo.ca (Lennart Sorensen)
List-Id: Discussions about the Xenomai project <xenomai.xenomai.org>
List-Unsubscribe: <https://xenomai.org/mailman/options/xenomai>,
 <mailto:xenomai-request@xenomai.org?subject=unsubscribe>
List-Archive: <http://xenomai.org/pipermail/xenomai/>
List-Post: <mailto:xenomai@xenomai.org>
List-Help: <mailto:xenomai-request@xenomai.org?subject=help>
List-Subscribe: <https://xenomai.org/mailman/listinfo/xenomai>,
 <mailto:xenomai-request@xenomai.org?subject=subscribe>
To: Richard Weinberger <richard.weinberger@gmail.com>
Cc: xenomai@xenomai.org

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