Boot freezes after Xenomai or Real Time Patch

I managed to boot a 2.6.31 kernel on my mini2440 (the 64 MB NAND version).

However, after I patched it with Xenomai or Real Time, the boot process
stops at setting the frequency of the MMC host controller.

This is what I get:

[    2.535000] Registered led device: led1
[    2.535000] Registered led device: led2
[    2.540000] Registered led device: led3
[    2.540000] Registered led device: led4
[    2.545000] s3c2440-sdi s3c2440-sdi: running at 398kHz (requested:
400kHz).
[    2.550000] Registered led device: backlight
[    2.565000] s3c2440-sdi s3c2440-sdi: running at 398kHz (requested:
400kHz).

A workable kernel displays a 16 MHz running frequency on the controller and
the booting process continues without glitches. 

Is there any user who had this problem before? Is there a patch available?

I would be extremely grateful if someone posted a solution to this.  

Thank you.

disable mmc controller and try again?

Been there, done that. 

The problem is I want to have mmc capable kernel. I even made a diff
between the mmc related file of the workable and non-bootable kernels. They
are identical. So the problem is somewhere else.

just my 2 cents...

The problum is with serial driver try to recomile it with X**** support. I
had same problum with RTAI on some other board.

@mini2440_enthus - from where you get rt-patch for mini2440?

thanks,

marek

Is anyone fixed this issue, i am also getting stuck with same error