[LITMUS^RT] ARM compilation patches.

[Christopher Kenna]

On Mon, Oct 1, 2012 at 5:52 PM, Manohar Vanga <mvanga at mpi-sws.org> wrote:
>
> I actually documented the whole process on the RTS systems wiki :-)
>
> https://wiki.mpi-sws.org/RTS/Setting%20up%20Linux%20on%20ODROID-X/Exynos4412
>
> I'm not sure if you can access this though as the permissions are set up quite restrictively. @bjorn, can we loosen the permissions of specific pages?

No, I cannot see it.

>> Actually, no. I have been pushing the LITMUS fixes back to staging
>> without any other machine-specific ARM code because I don't want to
>> "pollute" the main repository and also because v3.6 kernels will be
>> able to run on these boards with little (or no?) modifications. I can
>> make the kernel that I am using available to you if you want it.
>
> I'd love to try out the kernel you have if you can make it available :-)

I put the kernel on github: https://github.com/LITMUS-RT/litmus-rt-odroidx
Unfortunately, the commit history is not as clean as I would like, but
I imagine that we will not be using this specific kernel beyond a
rebase of LITMUS^RT on top of a newer mainline linux.

I also put some tools online that you might want to use:
https://github.com/LITMUS-RT/tools
in particular:
https://github.com/LITMUS-RT/tools/blob/master/odroid-install-kernel.sh

However, Björn wrote all the other tools in this repository. I am not
sure if he wants them to be publicly shared. If he wants them taken
down, then he should tell me to do so (or do it himself, since he has
the rights to do so).

I look forward to hearing about your future developments with this
platform. Keep me updated.

Thanks,
Chris