[LITMUS^RT] Litmus-rt on Raspberry Pi

Björn Brandenburg bbb at mpi-sws.org
Mon Jan 30 13:37:44 CET 2017


> On 30 Jan 2017, at 12:14, lambros bersentes <lambrosbersentes118 at hotmail.com> wrote:
> 
> I have already read this post concerning installing the litmus kernel in raspberry pi.
> 
> However, there wasn't any feedback if that definitely can be done or not.
> 
> Is there any update concerning this issue?

Hi Lambros,

it can most likely be done, but it requires some legwork. This is basically the same procedure for all ARM boards.

1) Compile a standard Linux kernel for your ARM board. This usually requires incorporating board-specific vendor patches. Make sure you use the current base version of LITMUS^RT (i.e., Linux 4.1 at the moment). 

2) Make sure your self-compiled kernel actually boots and works.

3) Now apply the LITMUS^RT patches on top of the vendor patches. Depending on how invasive your vendor’s patches are, this may require manual fixing of conflicts.

4) Compile, install & reboot.

Now you should have a working LITMUS^RT on your ARM board. 

If there is no vendor kernel matching LITMUS^RT’s base version, you may have to rebase LITMUS^RT on top of a more recent Linux kernel first. This can be quite time consuming.

By the way, I’m looking for volunteers to help with the next rebasing of LITMUS^RT. Linux 4.9 would be a good rebase target as it’s a longterm support kernel (supported until 2019).

- Björn




More information about the litmus-dev mailing list