Real time kernel #17
Real time kernel #17
Conversation
RT=1 source scripts/compile_kernel.sh
| # Parches RT patches | ||
| if [ ! -z $RT ]; then | ||
| if [ ! -f $LINUX_KERNEL/patch-4.1.13-rt14.patch ]; then | ||
| <<<<<<< HEAD |
There was a problem hiding this comment.
@PabloGN Thanks for the PR. But Travis found a problem with it. Seems you have to resolve this merge conflict.
There was a problem hiding this comment.
Thank you, it was a small mistake... Do I need to PR again?
Build Real Time kernel
|
Travis CI: "The job exceeded the maxmimum time limit for jobs, and has been terminated." |
|
@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. |
|
OK, I'll have a look to that build system (image-builder-rpi), thank you for your work! |
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!