l4/pkg/ferret/examples/monitors/idle_switch_mon/Makefile

   1 PKGDIR         ?= ../../..
   2 L4DIR          ?= $(PKGDIR)/../..
   3
   4 SYSTEMS         = x86-l4f
   5
   6 SRC_C           = main.c
   7
   8 DEFAULT_RELOC   = 0x006f0000
   9 TARGET          = fer_idle_mon
  10
  11 MODE            = l4env_minimal
  12
  13 LIBS           += -lferret_monitor -lferret_consumer -lferret_util          \
  14                   -lferret_client -lferret_producer -lferret_comm           \
  15                   -lferret_fpages -lferret_local_names
  16
  17 include $(L4DIR)/mk/prog.mk