genode/repos/ports/lib/mk/spec/x86_64/gdbserver_platform_nova.mk
Christian Prochaska c1246c4c95 gdb_monitor: fix build error
Fixes #2227
2017-01-20 16:46:57 +01:00

6 lines
134 B
Makefile

REQUIRES += nova
SRC_CC = spec/nova_x86_64/low.cc native_cpu.cc
include $(REP_DIR)/lib/mk/spec/x86_64/gdbserver_platform_x86_64.inc