requires: l4re_c l4re-util libio libc x86emu input
          libgfxbitmap stdlibs libdrivers-lcd linux-26-headers
Maintainer: adam@os.inf.tu-dresden.de
