LA_IA32_K_SRCDIR=$(LA_IA32_SRCDIR)/kernel
LA_IA32_K_BUILDDIR=$(LA_IA32_BUILDDIR)/kernel

DIRECTORIES += $(LA_IA32_K_BUILDDIR)

LA_LIBFILES += $(LA_IA32_K_BUILDDIR)/blockalloc.o
LA_LIBFILES += $(LA_IA32_K_BUILDDIR)/createvtask.o
LA_LIBFILES += $(LA_IA32_K_BUILDDIR)/gatealloc.o
LA_LIBFILES += $(LA_IA32_K_BUILDDIR)/gatelookup.o
LA_LIBFILES += $(LA_IA32_K_BUILDDIR)/getcpuinfo.o
LA_LIBFILES += $(LA_IA32_K_BUILDDIR)/gettimerticks.o
LA_LIBFILES += $(LA_IA32_K_BUILDDIR)/ipccdeclconv.o
LA_LIBFILES += $(LA_IA32_K_BUILDDIR)/kernelversion.o
LA_LIBFILES += $(LA_IA32_K_BUILDDIR)/localipccall.o
LA_LIBFILES += $(LA_IA32_K_BUILDDIR)/memmap.o
LA_LIBFILES += $(LA_IA32_K_BUILDDIR)/portalloc.o
LA_LIBFILES += $(LA_IA32_K_BUILDDIR)/routealloc.o
LA_LIBFILES += $(LA_IA32_K_BUILDDIR)/routefind.o

$(LA_IA32_K_BUILDDIR)/%.o: $(LA_IA32_K_SRCDIR)/%.asm $(TARGETDIR)
	@echo [$(AS)] $@
	@$(AS) $(ASPARMS) $< -o $@
