update

[l4.git] / l4 / pkg / ferret / examples / monitors / idle_switch_mon / Makefile

diff --git a/l4/pkg/ferret/examples/monitors/idle_switch_mon/Makefile b/l4/pkg/ferret/examples/monitors/idle_switch_mon/Makefile
new file mode 100644 (file)
index 0000000..37aa213
--- /dev/null
+++ b/l4/pkg/ferret/examples/monitors/idle_switch_mon/Makefile
@@ -0,0 +1,17 @@
+PKGDIR         ?= ../../..
+L4DIR          ?= $(PKGDIR)/../..
+
+SYSTEMS         = x86-l4f
+
+SRC_C           = main.c
+
+DEFAULT_RELOC   = 0x006f0000
+TARGET          = fer_idle_mon
+
+MODE            = l4env_minimal
+
+LIBS           += -lferret_monitor -lferret_consumer -lferret_util          \
+                  -lferret_client -lferret_producer -lferret_comm           \
+                  -lferret_fpages -lferret_local_names
+
+include $(L4DIR)/mk/prog.mk