requires: libc
provides: drivers-frst drivers_uart drivers_of libdrivers-nand libdrivers_hpet
Maintainer: adam@os.inf.tu-dresden.de
