[LITMUS^RT] ARM compilation patches.

[Manohar Vanga]

Hey Chris,

Yes I'm still having trouble with the config you provided. I get linker errors as mentioned earlier. Is the config you put up on the gist the correct one? If it is indeed working for you, then never mind, I'll try figuring it out when I get the time :-)

Thanks!
/manohar

On Nov 8, 2012, at 5:35 PM, Christopher Kenna wrote:

> 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
> 
> _______________________________________________
> litmus-dev mailing list
> litmus-dev at lists.litmus-rt.org
> https://lists.litmus-rt.org/listinfo/litmus-dev