base-okl4: migrate to new ports mechanism

Issue #1082

repos/base-okl4/lib/mk/platform.inc

@@ -55,3 +55,14 @@ $(BUILD_BASE_DIR)/include/bootinfo: $(OKL4_DIR)/libs/bootinfo/include
 	$(VERBOSE)ln -sf $< $@
 
 endif
+
+#
+# Create symlink to elfweaver so that the run tool can use it from within the
+# build directory.
+#
+HOST_TOOLS += $(BUILD_BASE_DIR)/tool/okl4/elfweaver
+
+$(BUILD_BASE_DIR)/tool/okl4/elfweaver:
+	mkdir -p $(dir $@)
+	ln -sf $(OKL4_DIR)/tools/pyelf/elfweaver $@
+

repos/base-okl4/lib/mk/x86/kernel.mk

@@ -1,5 +1,5 @@
 OKL4_BUILD_DIR = $(BUILD_BASE_DIR)/kernel
-OKL4_SRC_DIR   = $(REP_DIR)/contrib/okl4
+OKL4_SRC_DIR   = $(call select_from_ports,okl4)/src/kernel/okl4
 ARCH_DIR       = $(OKL4_SRC_DIR)/arch/ia32
 PLAT_DIR       = $(OKL4_SRC_DIR)/platform/pc99
 INC_SYMLINKS   = arch/apic.h \