12 lines
302 B
Makefile
12 lines
302 B
Makefile
PKGDIR ?= ..
|
|
L4DIR ?= $(PKGDIR)/../..
|
|
|
|
PKGNAME = sys
|
|
EXTRA_TARGET += capability kip task factory irq icu thread vcon \
|
|
smart_capability scheduler meta typeinfo_svr ipc_gate \
|
|
__vm ARCH-x86/vm ARCH-amd64/vm ARCH-arm/vm debugger
|
|
|
|
include $(L4DIR)/mk/include.mk
|
|
|
|
|