http://www.pragmatec.net/Produits/WhitePapers/uClinux_kernel_S3C44B0.pdf