I am trying to make a Raspbian kernel to support real time.
To do that I cloned the latest kernel from raspbian github repository and applied the Real Time patch for 3.10.25-rt23 (https://www.kernel.org/pub/linux/kernel/projects/rt/3.10/).
I followed this link for compilation: http://elinux.org/RPi_Kernel_Compilation
When I compiled it with Desktop Latency config, it is OK, however with
CONFIG_PREEMPT_RT_FULL option, it reboots but stops after some seconds.
It finally prints the below lines and then stops there and does not go any step further. Do you have any idea to solve this, or any recommendation for me ?
My opinion is that the problem is with SDCard. SD card can not be mounted because I see the log of sdcard mounting after this lines when I reboot it with running non-rt kernels.
... ... [ 3.523322] usb 1-1.2: Manufacturer: Logitech [ 3.551044] input: Logitech USB Receiver as /devices/platform/bcm2708_usb/usb1/1-1/1-1.2/1-1.2:1.0/input/input0 [ 3.583661] hid-generic 0003:046D:C52B.0001: input,hidraw0: USB HID v1.11 Keyboard [Logitech USB Receiver] on usb-bcm2708_usb-1.2/input0