SJ,
L4linux is not a microkernel. L4Linux is a user space server, provides Linux compatible ABI. L4 kernel helps to make it.
Also, I still have no conception for "Demand paging", hope others in this list can help you :-)
Coly
在 2007-05-14一的 22:11 +0900,차승준写道:
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
l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers