Vitor Christo 
hi everyone, I want do like know if anyone already installed the Linux real time on mini2440 board? please if someone have some information, links or tutorial help me, please... thanks
Linux-RT mini2440
Juergen Beisert 
With Linux-3.10 somebody added high resolution timer (HRT) support for the S3C2440 CPU. It enables this kernel to be used in conjunction with the 'RT preemt' patch on the Mini2440. But tests if it really works are still to be done.