KernelInterface @ IA32

Louis yzhuang9508 at
Wed Jun 16 17:05:41 CEST 2004

Hi L4 hackers,
	I'm a newbie in L4 and reading L4 X.2 spec. In IA32 interface,
KernelInterface is implemented by 'lock: nop'.  That really confuses me. Is
it not just a placeholder? Any special side-effect? I can not find any clue
in IA32 manuals.

Yours truly,
- Louis

More information about the l4-hackers mailing list