Xenomai On ARM board EXYNOS 4210 ODROID-PC

[mohitjandwani]

Hi I am trying to port xenomai on exynos 4210 arm board.
With some research I have found a way to port the board on the exynos board but the problem is that on the exynos-4210 website they have provided a patched version of linux-3.0.15 kernel for implementing on the board.
On this kernel I am not able to run my I-pipe patch which I need for installing xenomai.
I used a ls diff to see what files the patch modifies but I have no idea what those files do.
Is there any where I can find how linux is ported to a new arm board and what are the files that need to be changed when a new arm board is implemented on linux ?
If you have any idea on what the directory arch/arm/vfp, please help because it looks like this is where most attempts(HUNKS) of my patch fail.

[Corona688]

Try taking a look at what they patched to make it work on that board.