1 # Set up the default install paths for kernel/modules
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)
9 DESTKERNDIR?= /boot/${KERNEL}.${DESTLABEL}
11 OLDMODULESDIR?= /boot/modules.${DESTLABEL}
13 DESTKERNDIR?= /boot/${KERNEL}
15 OLDMODULESDIR?= /boot/modules
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} == vkernel || ${MACHINE_PLATFORM} == vkernel64
21 DESTDIR?= /var/vkernel