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