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