provides: l4sys l4sys-l4x
requires: ldscripts
Maintainer: adam@os.inf.tu-dresden.de, warg@os.inf.tu-dresden.de