K 10
svn:author
V 6
marcel
K 8
svn:date
V 27
2006-09-01T06:13:16.000000Z
K 7
svn:log
V 200
Fix the variant I allocation for KSE: Allow a larger TCB and assume
that the documented TCB is at the tail of the extended TCB. In other
words, the base of the TCB has a negative offset from the TLS.

END