HomeSort by: relevance | last modified time | path
    Searched refs:KERNEL_SETS (Results 1 - 2 of 2) sorted by relevancy

  /src/distrib/evbarm/instkernel/
Makefile 7 .if !empty(KERNEL_SETS:MRPI)
  /src/etc/
Makefile 426 ${KERNEL_SETS:@.SETS.@kern-${.SETS.}.${TAR_SUFF}@}
538 # KERNEL_SETS The list of kernels that will be
569 ALL_KERNELS?= ${KERNEL_SETS} ${EXTRA_KERNELS} ${BUILD_KERNELS}
596 # Create kernel sets from ${KERNEL_SETS} into
599 .for configfile in ${KERNEL_SETS:O:u} # {
654 .endfor # KERNEL_SETS # }
657 # Build kernel.gz from ${KERNEL_SETS} ${EXTRA_KERNELS} into
660 .for configfile in ${KERNEL_SETS:O:u} ${EXTRA_KERNELS:O:u} # {
685 .endfor # KERNEL_SETS EXTRA_KERNELS # }

Completed in 15 milliseconds