[LITMUS^RT] Litmus-rt on Raspberry Pi

[Glenn Elliott]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.litmus-rt.org/pipermail/litmus-dev/attachments/20131106/8fe2cbf7/attachment.html>