Lines Matching full:separate_kernel
332 SEPARATE_KERNEL=0
418 echo "SEPARATE_KERNEL=$SEPARATE_KERNEL" >> $SETUP_FILE
549 SEPARATE_KERNEL=0
561 SEPARATE_KERNEL=1
571 SEPARATE_KERNEL=1
577 SEPARATE_KERNEL=0
959 vecho "SEPARATE_KERNEL $SEPARATE_KERNEL"
1389 if test "$SEPARATE_KERNEL" = "1"; then
1390 SEPARATE_KERNEL=0
1487 --separate-kernel=$SEPARATE_KERNEL \
1570 if test "$SEPARATE_KERNEL" = "1"; then