From mboxrd@z Thu Jan  1 00:00:00 1970
From: chensong <chensong@kylinos.cn>
Subject: how to make an ipipe patch
Message-ID: <5E142C68.1040506@kylinos.cn>+78DFA3919D992113
Date: Tue, 7 Jan 2020 14:59:52 +0800
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
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: xenomai@xenomai.org

Hi,

i'm working on enabling xenomai in a specific arm64 device, 
unfortunately, the kernel version in its sdk is 4.4.154, which doesn't 
have an available ipipe patch in 
https://xenomai.org/downloads/ipipe/v4.x/arm64/ (like 
ipipe-core-4.4.164-arm64-4.patch )

I'm trying to make the patch on my own, however, i haven't found any 
guide about this online, i would appreciate it if someone can guide me 
here, step by step, many thanks.

Best regards,

chensong