]> rtime.felk.cvut.cz Git - l4.git/blobdiff - l4/pkg/examples/sys/vm-tz/Makefile
update
[l4.git] / l4 / pkg / examples / sys / vm-tz / Makefile
index a442797bc4bce84d2eeaec9138e70515b46b456b..34dc9465fd1ea3e91fcf239e67a31a6b961b3fa9 100644 (file)
@@ -4,6 +4,6 @@ L4DIR           ?= $(PKGDIR)/../..
 TARGET         = vm-tz
 SYSTEMS                = arm-l4f
 SRC_CC         = main.cc
-REQUIRES_LIBS   = libsigma0 l4re_c-util
+REQUIRES_LIBS   = libsigma0 l4re_c-util libvcpu
 
 include $(L4DIR)/mk/prog.mk