Kernel versions

l4.exe: The original L4 as per the reference manual.
 
l4x.exe: The experimental X version of L4. 

See the ChangeLog for a history of various versions.


