Re: [I-PIPE] ipipe-core-4.19.115-arm64-5 released

[Jan Kiszka via Xenomai]

On 22.04.20 06:34, xenomai--- via Xenomai wrote:

Download URL: 
https://xenomai.org/downloads/ipipe/v4.x/arm64/ipipe-core-4.19.115-arm64-5.patch

Repository: https://git.xenomai.org/ipipe-arm64
Release tag: ipipe-core-4.19.115-arm64-5

I think we have a build regression here:

https://travis-ci.com/github/xenomai-ci/xenomai/jobs/323104732

Could your have a look, Greg?

Thanks,
Jan

--
Siemens AG, Corporate Technology, CT RDA IOT SES-DE
Corporate Competence Center Embedded Linux