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 429 ${KERNEL_SETS:@.SETS.@kern-${.SETS.}.${TAR_SUFF}@}
541 # KERNEL_SETS The list of kernels that will be
572 ALL_KERNELS?= ${KERNEL_SETS} ${EXTRA_KERNELS} ${BUILD_KERNELS}
599 # Create kernel sets from ${KERNEL_SETS} into
602 .for configfile in ${KERNEL_SETS:O:u} # {
657 .endfor # KERNEL_SETS # }
660 # Build kernel.gz from ${KERNEL_SETS} ${EXTRA_KERNELS} into
663 .for configfile in ${KERNEL_SETS:O:u} ${EXTRA_KERNELS:O:u} # {
688 .endfor # KERNEL_SETS EXTRA_KERNELS # }

Completed in 78 milliseconds