The operating system’s group at Technische Universität Dresden is pleased to announce the release of version 1.2 of the Fiasco L4 microkernel. This release fixes many bugs, a few features have been added as well. For a list of changes please consult the CHANGES file. Get the package from the download directory or from CVS. Refer to the README file for further information.