[LITMUS^RT] ARM compilation patches.

[Manohar Vanga]

Hey Chris,

I just got around to trying to get this kernel up and running and I'm 
getting linker errors for s3c_cpu_save using your config. Trying to fix 
it by setting CONFIG_EXYNOS4_PM leads me down a rabbit-hole of config 
dependencies :P

Does this config work correctly for you with the head of the odroidx 
branch you pushed? Have you perhaps modified it since publishing the gist?

Thanks!
/manohar

On 10/02/2012 01:42 AM, Christopher Kenna wrote:
> On Mon, Oct 1, 2012 at 7:30 PM, Christopher Kenna <cjk at cs.unc.edu> wrote:
>> 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.
> Also, here is my kernel config if you want to use it:
> https://gist.github.com/3815209
>
> There is no HDMI output in the v3.0 kernel (well, I haven't been able
> to get it to work anyway). I don't think support for it was added in
> this kernel. I also don't know if the serial UART connection works,
> because I don't have one (it's in the mail). I know if the board boots
> based on the blue LEDs, the NIC coming up, ping, and finally SSH.
>
> Debugging kernels without a serial connection is a lot of fun. I'm
> kicking myself for not ordering that with the board.
>
> _______________________________________________
> litmus-dev mailing list
> litmus-dev at lists.litmus-rt.org
> https://lists.litmus-rt.org/listinfo/litmus-dev