2nd release of L4Ka/Hazelnut

[Uwe Dannowski]

Hi L4 hackers and users,

after a long wait it's again time to announce a new release of
L4Ka/Hazelnut.

L4Ka/Hazelnut still implements the L4 Version X.0 API on x86 and ARM
processors.  This time around, however, it outperforms Jochen's x86
assembly kernel.  Parts of the kernel have also been redesigned for
better portability.

Among the goodies added since the last release are:

  o Small Address Spaces
  o IPC FastPath(tm)
  o FPU virtualization
  o Enhanced kernel debugger (e.g., embedded disassembler and
    profiling support)
  o Pentium4 support
  o One year's worth of bugfixes

For more information please visit http://l4ka.org/.