]> rtime.felk.cvut.cz Git - l4.git/blobdiff - l4/pkg/examples/sys/vcpu/Makefile
update
[l4.git] / l4 / pkg / examples / sys / vcpu / Makefile
index 92ff21f130493669d23214b88be44cc5c1ec679c..32c4e74ba72687db0727e51dfcd47ff70520d314 100644 (file)
@@ -2,7 +2,7 @@ PKGDIR          ?= ../..
 L4DIR          ?= $(PKGDIR)/../..
 
 TARGET         = ex_vcpu
-SYSTEMS         = amd64-l4f arm-l4f x86-l4f
 SRC_CC         = vcpu.cc
+REQUIRES_LIBS   = libvcpu
 
 include $(L4DIR)/mk/prog.mk