L4 Mapping question

Adam 'WeirdArms' Wiggins awiggins at cse.unsw.edu.au
Tue Feb 23 05:57:49 CET 1999

Previous message (by thread): L4 Mapping question
Next message (by thread): L4 Mapping question
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

	What TID does the kernel use for its ipc to Sigma0 to request
memory mapping for kernel usage.
	
	Cheers Adam

Previous message (by thread): L4 Mapping question
Next message (by thread): L4 Mapping question
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the l4-hackers mailing list