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 pac...
Here record some exciting moments I experience during my ES / RTOS researches.