Download URL: https://xenomai.org/downloads/ipipe/v4.x/arm/ipipe-core-4.4.287-cip64-arm-16.patch
Repository: https://git.xenomai.org/ipipe-arm Release tag: ipipe-core-4.4.287-cip64-arm-16
Download URL: https://xenomai.org/downloads/ipipe/v4.x/arm/ipipe-core-4.4.287-cip64-arm-16.patch
Repository: https://git.xenomai.org/ipipe-arm Release tag: ipipe-core-4.4.287-cip64-arm-16