On 04/26/2017 11:32 AM, Testtest Chen wrote: > 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?
I don't think we ever came across this SOC, so for 32bit support, you would have to port some outdated IRQ pipeline code to this hardware, based on an existing patch available from [1]. Xenomai 2.6.5 legacy release should still build on top of this (Xenomai 3.x would not). [1] http://xenomai.org/downloads/ipipe/v3.x/arm/older/ -- Philippe. _______________________________________________ Xenomai mailing list [email protected] https://xenomai.org/mailman/listinfo/xenomai
