Hi all, I sucessfully patched and ported xenomai kernel in mini2440 board. Now i am trying real time drivers like rtserial, rtnet in mini2440. Has anyone has tried this in mini2440. Is it possible.