[LITMUS^RT] ARM compilation patches.

[Manohar Vanga]

Hey Chris,

> AFAIK, Andrea has done a bit of work porting LITMUS forward. He might
> want to comment on this. Also, I was using one of the pre-built images
> for the ODROID-X that you dd to an SD card. I'm not sure how to set up
> Debian from scratch but I would be interested in an article that
> describes it. I might want to do that one day when I'm under less time
> pressure. I'm using this image currently:
> http://www.mdrjr.net/odroid/mirror/ubuntu-3.6-rc5/odroidx_20120912-linaro-precise-ubuntu-desktop_with_HDMI.img.gz

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?

> 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 :-)

Thanks!
/manohar