[LITMUS^RT] ARM compilation patches.

[Christopher Kenna]

Hi Manohar,

Yes, that was the branch I am using. Are you still stuck on this?

Sorry for the delayed response. We were working on a paper.

 -- Chris

On Tue, Oct 23, 2012 at 11:02 AM, Manohar Vanga <mvanga at mpi-sws.org> wrote:
> 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
>
>
> _______________________________________________
> litmus-dev mailing list
> litmus-dev at lists.litmus-rt.org
> https://lists.litmus-rt.org/listinfo/litmus-dev