I have a question about L4Linux
junii at cnu.ac.kr
Mon May 14 15:11:51 CEST 2007
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
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the l4-hackers