genode/rump_include.mk at 38abfc79f5053616d42c08d890c2437903351197 - genode - dk0.dev

denshooter/genode

mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 12:32:56 +01:00

Files

Sebastian Sumpf 38abfc79f5 rump: reduce size of rump

* integrate rump's contrib code into Genode's build system and build what is
  required by Genode, only
* checkout needed NetBSD sources directly from CVS

fixes #2589

2017-11-30 11:23:19 +01:00

5 lines

121 B

Makefile

Raw Blame History

 INC_MACHINE = $(RUMP_PORT_DIR)/src/sys/arch/evbarm/include
 INC_ARCH    = arm
 include $(REP_DIR)/lib/mk/rump_include.inc