]> rtime.felk.cvut.cz Git - l4.git/blob - l4/pkg/l4re/util/include/Makefile
update
[l4.git] / l4 / pkg / l4re / util / include / Makefile
1 PKGDIR  ?= ../..
2 L4DIR   ?= $(PKGDIR)/../..
3 PKGNAME := re/util
4 EXTRA_TARGET += basic_dispatcher   \
5   bitmap_cap_alloc   \
6   cap                \
7   cap_alloc          \
8   counting_cap_alloc \
9   dataspace_svr      \
10   debug              \
11   env_ns             \
12   event_buffer       \
13   event_svr          \
14   icu_svr            \
15   item_alloc         \
16   meta               \
17   name_space_svr     \
18   object_registry    \
19   poll_timeout_kipclock \
20   region_mapping     \
21   region_mapping_svr \
22   vcon_svr           \
23   video/get_view     \
24   video/goos_svr     \
25   video/goos_fb      \
26   event              \
27   kumem_alloc
28
29
30 include $(L4DIR)/mk/include.mk