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 423 ${KERNEL_SETS:@.SETS.@kern-${.SETS.}.${TAR_SUFF}@}
535 # KERNEL_SETS The list of kernels that will be
566 ALL_KERNELS?= ${KERNEL_SETS} ${EXTRA_KERNELS} ${BUILD_KERNELS}
593 # Create kernel sets from ${KERNEL_SETS} into
596 .for configfile in ${KERNEL_SETS:O:u} # {
651 .endfor # KERNEL_SETS # }
654 # Build kernel.gz from ${KERNEL_SETS} ${EXTRA_KERNELS} into
657 .for configfile in ${KERNEL_SETS:O:u} ${EXTRA_KERNELS:O:u} # {
682 .endfor # KERNEL_SETS EXTRA_KERNELS # }

Completed in 34 milliseconds