Hi,
On Mon May 14, 2007 at 22:11:51 +0900, Â÷½ÂÁØ wrote:
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
L4Linux does not do anything different than normal Linux is this regard. Please consult one of the many Linux books available, .e.g. 'Understanding the Linux Kernel'.
Adam