Lines Matching refs:kernel
1317 kernel=linux
1321 kernel=os2
1325 kernel=nto
1331 IFS="-" read kernel os <<EOF
1338 kernel=nto
1342 kernel=linux
1346 kernel=managarm
1350 kernel=
1535 kernel=
1547 kernel=linux
1770 kernel* | msvc* )
1781 case $kernel-$os in
1787 managarm-mlibc* | managarm-kernel* )
1797 -kernel* )
1801 *-kernel* )
1802 echo "Invalid configuration '$1': '$kernel' does not support '$os'." 1>&2
1823 echo "Invalid configuration '$1': Kernel '$kernel' not known to work with OS '$os'." 1>&2
1906 echo "$cpu-$vendor-${kernel:+$kernel-}$os"