TCB size in ix86 L4

Adam 'WeirdArms' Wiggins awiggins at
Wed Dec 30 01:46:05 CET 1998

	I was woundering why the TCB size in ix86 L4 is 1K, how much of
the stack at the end of the TCB is actually used? Could the TCB be reduced
to 512K? If not why not?
	Cheers Adam

More information about the l4-hackers mailing list