Download URL: https://xenomai.org/downloads/ipipe/v4.x/ppc32/ipipe-core-4.14.36-ppc32-1.0.patch
Repository: https://git.xenomai.org/ipipe-ppc32 Release tag: ipipe-core-4.14.36-ppc32-1.0 _______________________________________________ Xenomai mailing list [email protected] https://xenomai.org/mailman/listinfo/xenomai
