I have a question about L4Linux

[coly]

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 at os.inf.tu-dresden.de
> http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers