[LITMUS^RT] Litmus-rt on Raspberry Pi

[Sisu Xi]

Hi, Glenn:

Thanks for the pointers! I'll read the paper.   :)

Sisu


On Wed, Nov 6, 2013 at 3:09 PM, Glenn Elliott <gelliott at cs.unc.edu> wrote:

>
> On Nov 6, 2013, at 3:59 PM, Sisu Xi <xisisu at gmail.com> wrote:
>
> Hi,
>
> I happened looked into this before. Raspberry Pi don't come with the
> rdtsc, so the code in Litmus^RT that's related to timing recording will
> need to be changed.
>
> See:
>
> http://blog.remibergsma.com/2013/05/12/how-accurately-can-the-raspberry-pi-keep-time/
>
> *Rasberry Pi’s clocksource*
> The Raspberry Pi does not ship with a TSC nor HPET counter to use as
> clocksource. Instead it relies on the STC that Raspbian presents as a
> clocksource. Based on the source code, “STC: a free running counter that
> increments at the rate of 1MHz”. This means it increments every microsecond.
>
> Hope this helps.
>
> Hi, Glenn:
>
> For Litmus on Cortex-A9 and ARM11, do you have any reference/publications
> to those works?
>
> Thanks.
>
> Sisu
>
>
>
> On Wed, Nov 6, 2013 at 2:55 PM, Glenn Elliott <gelliott at cs.unc.edu> wrote:
>
>> On Nov 6, 2013, at 3:20 PM, Ríad <riad.nassiffe at gmail.com> wrote:
>>
>> > Hi,
>> >
>> >      I would like to known if somebody had already compiled the
>> litmus-rt for a raspberry pi device?
>> >
>> > Thanks and Regards,
>> > --
>> > Ríad Mattos Nassiffe
>> >
>> > _______________________________________________
>> > litmus-dev mailing list
>> > litmus-dev at lists.litmus-rt.org
>> > https://lists.litmus-rt.org/listinfo/litmus-dev
>>
>> I know that Litmus has been used on several Cortex-A9 implementations and
>> an ARM11 MPCore development board.  We routinely use Litmus on a Tegra3
>> platform here at UNC.  However, I’m not sure if Litmus will compile
>> “out-of-the-box” for all of these ARM platforms.  I know for at least two
>> of the Cortex-A9 boards, the developers had to take the Linux kernel source
>> code distributed by the board manufacturers and rebase Litmus on top of
>> it—the boards required Linux kernel changes that hadn’t yet appeared in
>> mainline.  However, this situation may have changed when Litmus was rebased
>> on Linux 3.10.5.  There’s no harm in giving it a try!  I’d like to hear if
>> you can get it working on Raspberry Pi and any problems you run into.
>>
>> -Glenn
>> _______________________________________________
>> litmus-dev mailing list
>> litmus-dev at lists.litmus-rt.org
>> https://lists.litmus-rt.org/listinfo/litmus-dev
>>
>
>
>
> --
> Sisu Xi, PhD Candidate
>
> http://www.cse.wustl.edu/~xis/
> Department of Computer Science and Engineering
> Campus Box 1045
> Washington University in St. Louis
> One Brookings Drive
> St. Louis, MO 63130
> _______________________________________________
> litmus-dev mailing list
> litmus-dev at lists.litmus-rt.org
> https://lists.litmus-rt.org/listinfo/litmus-dev
>
>
>
> Hi Sisu,
>
> This paper was done in Litmus with a Tegra3:
> http://www.cs.unc.edu/~anderson/papers/ecrts13b.pdf
>
> I don’t think the code was every cleaned up and made available publicly,
> but I can try to dig it up.
>
> Dr. Brandenburg is the expert on getting Litmus to run on ARM11.
>
> -Glenn
>
> _______________________________________________
> litmus-dev mailing list
> litmus-dev at lists.litmus-rt.org
> https://lists.litmus-rt.org/listinfo/litmus-dev
>
>


-- 
Sisu Xi, PhD Candidate

http://www.cse.wustl.edu/~xis/
Department of Computer Science and Engineering
Campus Box 1045
Washington University in St. Louis
One Brookings Drive
St. Louis, MO 63130
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.litmus-rt.org/pipermail/litmus-dev/attachments/20131107/fb54b877/attachment.html>