I have a question about L4Linux

[차승준]

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

 

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