인텔사에 가시면 엔젤이라고 하는 부트로더가 있읍니다 .

이 부트로더는 MMU를 설정하는 소스부분이 있는 것으로
알고 있읍니다.

해당 하는 것과 인텔에서 제공하는 레퍼런스를 참조하시는 것이 좋겠죠..

아니면 커널 소소의 arch/arm/kernel/ 디렉토리와 arch/arm/mm 부분을
참조하시는 것이 좋을 듯 하네요

저희는 이지부트로더에서 굳이 MMU를 사용하지 않았기 때문에
잘 모른답니다.