requires: stdlibs

# aliens, isr, singlestep, start-with-exc, utcb-ipc, vm-tz
optional: l4re_c-util

# ipc, migrate, uirq
optional: libpthread

# uirq
optional: libstdc++

# vcpu, vmtest, vm-tz
optional: libvcpu

# vcpu
optional: cxx_io cxx_libc_io

# vmtest
optional: l4util

# vm-tz
optional: libsigma0

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