1# Set up the default install paths for kernel/modules 2# 3# DESTLABEL add suffix to kernel and modules directory [not set] 4# DESTKERNDIR where kernel and modules are to be installed [/boot] 5# DESTKERNNAME name of installed kernel [${KERNEL}] 6# OLDMODULESDIR (deprecated) 7# 8.if defined(DESTLABEL) 9DESTKERNDIR?= /boot/${KERNEL}.${DESTLABEL} 10DESTKERNNAME?= kernel 11OLDMODULESDIR?= /boot/modules.${DESTLABEL} 12.else 13DESTKERNDIR?= /boot/${KERNEL} 14DESTKERNNAME?= kernel 15OLDMODULESDIR?= /boot/modules 16.endif 17 18# Set DESTDIR to /var/vkernel by default for vkernel platform so as 19# not to shoot the real kernel installation. 20.if ${MACHINE_PLATFORM} == vkernel64 21DESTDIR?= /var/vkernel 22.endif 23