Hi, We are going to implement the Xenomai onto Samsung s5p6818 SOC which is currently using ARM 32 bits kernel 3.4.39. Do you have related support on this? _______________________________________________ Xenomai mailing list [email protected] https://xenomai.org/mailman/listinfo/xenomai
- [Xenomai] support for Samsung s5p6818 SOC Testtest Chen
- Re: [Xenomai] support for Samsung s5p6818 SOC Philippe Gerum
