bbb 3.8-rt kernel boot fail

Hit there,

I’ve followed the instructions on https://github.com/beagleboard/kernel/tree/3.8-rt and compiled 3.8-rt branch with PREEMP_RT_FULL enabled but the kernel won’t boot.

Here is the console output: http://pastebin.com/L88zJ0BL

If I remove PREEMP_RT_FULL from .config the kernel will boot.

Anyone already booted a PREEMP_RT 3.8 kernel?

Regards