Download URL:
https://xenomai.org/downloads/ipipe/v4.x/arm64/ipipe-core-4.19.55-arm64-4.patch
Repository: https://git.xenomai.org/ipipe-arm64
Release tag: ipipe-core-4.19.55-arm64-4
Download URL:
https://xenomai.org/downloads/ipipe/v4.x/arm64/ipipe-core-4.19.55-arm64-3.patch
Repository: https://git.xenomai.org/ipipe-arm64
Release tag: ipipe-core-4.19.55-arm64-3
Download URL:
https://xenomai.org/downloads/ipipe/v4.x/arm/ipipe-core-4.19.55-arm-4.patch
Repository: https://git.xenomai.org/ipipe-arm
Release tag: ipipe-core-4.19.55-arm-4