1provides: l4sys l4sys-l4x 2requires: ldscripts libgcc-pure 3Maintainer: adam@os.inf.tu-dresden.de warg@os.inf.tu-dresden.de 4