Hello

I’m a graduate student of CNU, in Korea

My major is computer science, especially operating system(OS)

May I ask some questions??

I have studied a operating system, micro kernel; l4linux

So I downloaded its source code and analysis it

I wonder how manage memory, in “Demand paging”

Would mind please tell me where it “Demand paging” implementation and how it work in source code

Best regards.

SJ. Cha