sys/conf/kern.paths.mk

   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)
   9 DESTKERNDIR?=           /boot/${KERNEL}.${DESTLABEL}
  10 DESTKERNNAME?=          kernel
  11 OLDMODULESDIR?=         /boot/modules.${DESTLABEL}
  12 .else
  13 DESTKERNDIR?=           /boot/${KERNEL}
  14 DESTKERNNAME?=          kernel
  15 OLDMODULESDIR?=         /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
  21 DESTDIR?=               /var/vkernel
  22 .endif