L4 version X in a nutshell. Unpublished manuscript (1999)

by Jochen Liedtke