HOWTO Recompile the Kernel for an EWIPI
====================================

30 Dec 2016

NOTE: this HOWTO describes how to re-compile your R-Pi kernel. It is not hard, 
but it could stuff up your R-PI installation, and you'll have to go back to 
installing from stratch.

To improve the response time of the R-Pi I used the following instructions:

https://www.raspberrypi.org/documentation/linux/kernel/building.md
and
https://www.raspberrypi.org/documentation/linux/kernel/configuring.md

Note that before doing the instructions in the second link above, you need to 
change to the linux directory that you created with the first link:

$ cd linux

Follow the instructions for making the default configuration and for making 
menuconfig. When the menuconfig main menu appears, arrow down to the 
Kernel Features option and press <enter>

Next, select the Preemption Model (you have to scroll down a bit)

Next, arrow down to the Preemptible Kernel, and tap the spacebar. you will be 
returned to the previous menu. Move down one and select the Timer Frequency.
I found 300 Hz worked OK, so try that by tapping the spacebar on that option, 
and you wil be returned to the previous menu.

Click TAB to get to the menu at the bottom and select <Save>. Accept the
default filename. 

Select <Exit> twice, and you'll be back to the command prompt.

Reboot, and you should be OK.

Enjoy. 

Gonzo.