[LEGOEV3] About Ev3dev kernel upgrading, real-time operating system, and bugs in 4.10 linux kernel.

By following the tutorial in Ev3, one who is interested to run Linux on Ev3 should be able to have Debian with 3.16.7 linux kernel with the internet feature. For the research/lecture usage, I start to patch 4.10 Linux kernel and litmus-RT on it. I will list and update the possible delights for some of students who are just starting to develop Linux kernel stuffs.
If in Ev3dev wget fails, please add on --no-check-certificate in the option before the download link.

Ref:http://www.tecmint.com/install-kernel-3-16-in-debian/

As far as we can find, https://www.youtube.com/watch?v=PGy5XrI6lLs provides the video about how to patching Linux kernel for LitmusRT. The tutorial in installation page (https://wiki.litmus-rt.org/litmus/InstallationInstructions) is missing the command for the newbie who is lacking experience of linux tools:

sudo apt-get install build-essential kernel-package \
libncurse5-dev bzip2 fakeroot \

And use the following command for wrapping the kernel as deb package file:

fakeroot make-kpkg --initrd --append-to-version=-litmusRT \
kernel-image kernel-headers 

The version is 3.10 in the video. There must be some tiny bug if one directly follows it for the latest version 4.10 (as the trace option is involved). The bug [ref] is in the caller of __dynamic_dev_dbg function in usb driver as102, i.e., drivers/media/usb/as102/as102_usb_drv.c. To fix it, please add "&" before bus_adap->usb_deb->dev in line 117 and 135:

dev_dbg(bus_adap->usb_dev->dev, ...

It should becomes to:

dev_dbg(&bus_adap->usb_dev->dev, ... 

In fact, the author of LitmusRT answer the question: https://lists.litmus-rt.org/pipermail/litmus-dev/2016/001219.html
 
In addition, there is another bug in init/do_mounts.o failed, so far I haven't yet to fix it on Ev3.

If you get the warning that clock skew detected, it should be fixed by using the following commands to update the date on EV3:
date -s mm/dd/yy
date -s hh:mm:ss

--------------- LEGO Mindstorms Real-Time Operating System -------------
First of all, nxtOSEK is not good enough, as it lacks the ability of fully preemption.
We can find out a project that try to solve the problem: http://moss.csc.ncsu.edu/~mueller/rt/rt14/projects/p1/report4.pdf

Quote:"The nxtOSEK kernel has been purposefully designed to prevent successive instances of preemption i.e. the kernel does not support a case where after one preemption event, while the preempting task is yet to finish its execution, it is preempted in turn by an even higher priority task. In this project, we attempted to resolve this by modifying the current kernel behavior. ..."

However, the project to the end is not able to fix the problem:

Quote: "We weren't able to demonstrate successful return to the preempted task after the high priority task finishes its execution. Instead, we observed the controller getting reset after the completion of the higher priority task. We couldn't resolve this due to limited debug/simulation capabilities."

In EV3, OSPERT'14 has a workshop paper, which is also the producer of nxtOSEK:

"A Platform for LEGO Mindstorms EV3 Based on an RTOS with MMU Support"

https://www.mpi-sws.org/~bbb/proceedings/ospert14-proceedings.pdf
However, the developer said it is out-of-date and not compatible with recent arm-none-eabi
compilers. In fact, a new platform called EV3RT now is released. You can find more information here (http://ev3rt-git.github.io/ and http://dev.toppers.jp/trac_user/ev3pf/wiki/WhatsEV3RT) (in Japanese).