requires: stdlibs

# input, led, uart
optional: libstdc++ libio-vbus

# uart
requires: drivers_uart libio

Maintainer: adam@os.inf.tu-dresden.de
