requires: drivers_uart drivers_of libc_minimal l4util cxx_io
Maintainer: frenzel@os.inf.tu-dresden.de, adam@os.inf.tu-dresden.de, warg@os.inf.tu-dresden.de