1PKGDIR	?= ../..
2L4DIR	?= $(PKGDIR)/../../..
3PKGNAME := re/util
4EXTRA_TARGET +=      \
5  bitmap_cap_alloc   \
6  br_manager         \
7  cap                \
8  cap_alloc          \
9  counting_cap_alloc \
10  dataspace_svr      \
11  debug              \
12  env_ns             \
13  event_buffer       \
14  event_svr          \
15  icu_svr            \
16  item_alloc         \
17  meta               \
18  name_space_svr     \
19  object_registry    \
20  poll_timeout_kipclock \
21  region_mapping     \
22  region_mapping_svr_2 \
23  vcon_svr           \
24  video/goos_svr     \
25  video/goos_fb      \
26  event              \
27  kumem_alloc        \
28  unique_cap         \
29  shared_cap         \
30
31
32include $(L4DIR)/mk/include.mk
33