requires: l4sys l4re l4util l4re-util libc_minimal libc_minimal_l4re
          libc_be_minimal_log_io
maintainer: jan.kloetzke@kernkonzept.com
provides: tvmm
variants: nofpu
