include $(GENODE_DIR)/repos/base/recipes/src/base_content.inc

content: README
README:
	cp $(REP_DIR)/recipes/src/base-pistachio/README $@

content: lib/import config etc
lib/import config etc:
	$(mirror_from_rep_dir)

content: src/kernel/pistachio
src/kernel:
	$(mirror_from_rep_dir)

KERNEL_PORT_DIR := $(call port_dir,$(REP_DIR)/ports/pistachio)

src/kernel/pistachio: src/kernel
	cp -r $(KERNEL_PORT_DIR)/src/kernel/pistachio/* $@

content:
	for spec in x86_32; do \
	  mv lib/mk/spec/$$spec/ld-pistachio.mk lib/mk/spec/$$spec/ld.mk; \
	  done;
	sed -i "s/ld-pistachio/ld/"     src/lib/ld/pistachio/target.mk
	sed -i "s/pit_timer_drv/timer/" src/timer/pit/target.inc