KERN_IVY_DIR = $(KERN_DIR)/ivy
OBJDIRS += $(KERN_IVY_DIR)

KERN_IVY_CFLAGS   += $(KERN_CFLAGS)
ifeq ($(COMPILER),IVY)
KERN_IVY_CFLAGS   += --nodeputy --nosharc
endif

KERN_IVY_SRCFILES := $(KERN_IVY_DIR)/deputy.c $(KERN_IVY_DIR)/sharc.c
KERN_IVY_OBJFILES := $(patsubst $(KERN_IVY_DIR)/%.c, \
                                   $(OBJDIR)/$(KERN_IVY_DIR)/%.o, \
                                   $(KERN_IVY_SRCFILES))

$(OBJDIR)/$(KERN_IVY_DIR)/%.o: $(KERN_IVY_DIR)/%.c 
	@echo + cc [KERN IVY] $<
	@mkdir -p $(@D)
	$(V)$(CC) $(KERN_IVY_CFLAGS) -c -o $@ $<

$(OBJDIR)/$(KERN_DIR)/libivykern.a: $(KERN_IVY_OBJFILES)
	@echo + ar [KERN IVY] $@
	$(V)$(AR) r $@ $(KERN_IVY_OBJFILES) 2>/dev/null