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


Best regards.

SJ. Cha


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20070514/67dc8681/attachment.html>

More information about the l4-hackers mailing list