genode/base-hw/lib/mk/arm/kernel_interface.mk

mirror of https://github.com/genodelabs/genode.git synced 2025-02-26 03:28:21 +00:00
SRC_CC = kernel/interface.cc
vpath % $(REP_DIR)/src/arm
hw: clearer naming scheme in kernel API Rename kernel syscall in kernel call and the kernel-API files in kernel/interface* . ref #953 2013-11-14 17:29:34 +01:00			`SRC_CC = kernel/interface.cc`
			`vpath % $(REP_DIR)/src/arm`