Download URL: https://xenomai.org/downloads/ipipe/v4.x/x86/ipipe-core-4.4.213-cip42-x86-22.patch
Repository: https://git.xenomai.org/ipipe-x86 Release tag: ipipe-core-4.4.213-cip42-x86-22
Download URL: https://xenomai.org/downloads/ipipe/v4.x/x86/ipipe-core-4.4.213-cip42-x86-22.patch
Repository: https://git.xenomai.org/ipipe-x86 Release tag: ipipe-core-4.4.213-cip42-x86-22