Real time kernel

[PabloGN]

Hi.
I think it works quite well. I am not (yet :-) ) an expert but the only problem I see is that the Raspberry hangs up when it has a high load, maybe due to CPU temperature or this situation, at line 222 in http://www.mjmwired.net/kernel/Documentation/RCU/stallwarn.txt
It is my first PR so you tell me...
Thank you!

[StefanScherer]

@PabloGN Thanks for the PR. But Travis found a problem with it. Seems you have to resolve this merge conflict.

[PabloGN]

Thank you, it was a small mistake... Do I need to PR again?

[PabloGN]

Travis CI: "The job exceeded the maxmimum time limit for jobs, and has been terminated."

[StefanScherer]

@PabloGN I have opened an issue #18 with the Travis CI timeout problem. We recently switched from our Drone build to public Travis build and have to solve this issue.

[StefanScherer]

@PabloGN Have you seen our image-builder-rpi repo where we build the SD card image for upcoming versions of HypriotOS. Do you think a separate SD card image for real time Linux makes sense?

As the CircleCI build works without the timeout problem you could try to build both the RT kernel and a forked image-builder-rpi to build a RT version of the SD card image.

[PabloGN]

OK, I'll have a look to that build system (image-builder-rpi), thank you for your work!