1PKGDIR		?= ..
2L4DIR		?= $(PKGDIR)/../../..
3
4PKGNAME		= sys
5EXTRA_TARGET	+= capability kip task factory irq icu thread vcon \
6                   smart_capability scheduler meta typeinfo_svr ipc_gate \
7                   vm ARCH-arm/vm ARCH-arm64/vm debugger         \
8                   platform_control    \
9                   exception           \
10                   kobject             \
11                   pager               \
12                   rcv_endpoint        \
13                   semaphore           \
14                   iommu               \
15                   arm_smccc           \
16                   cxx/ipc_array       \
17                   cxx/ipc_basics      \
18                   cxx/ipc_client      \
19                   cxx/ipc_epiface     \
20                   cxx/ipc_iface       \
21                   cxx/ipc_ret_array   \
22                   cxx/ipc_string      \
23                   cxx/ipc_server      \
24                   cxx/ipc_server_loop \
25                   cxx/ipc_types       \
26                   cxx/ipc_varg        \
27                   cxx/ipc_legacy      \
28                   cxx/smart_capability_1x \
29                   cxx/types           \
30                   cxx/consts          \
31
32
33include $(L4DIR)/mk/include.mk
34
35FIASCO_CONFIG_amd64 = amd64-mp
36FIASCO_CONFIG_arm   = arm-omap5
37FIASCO_CONFIG_ppc32 = ppc32-1
38FIASCO_CONFIG_sparc = sparc-1
39FIASCO_CONFIG_x86   = ia32-big
40
41.PHONY: update_ktrace_events.h
42update_ktrace_events.h:
43	$(VERBOSE)if [ -z "$(FIASCO_CHECKALL_ROOT)" ]; then \
44	  echo "Need to specify FIASCO_CHECKALL_ROOT"; \
45          exit 1; \
46	fi
47	$(foreach a,$(SYSTEMS_PLAIN),\
48	  scp $(FIASCO_CHECKALL_ROOT)/build-all/$(FIASCO_CONFIG_$(a))/ktrace_events.h ARCH-$(a);)
49