Lines Matching refs:kernel
1298 kernel=linux
1302 kernel=os2
1306 kernel=nto
1312 IFS="-" read kernel os <<EOF
1319 kernel=nto
1323 kernel=linux
1327 kernel=managarm
1331 kernel=
1522 kernel=
1537 kernel=linux
1786 kernel* | msvc* )
1829 case $kernel-$os-$obj in
1836 managarm-mlibc*- | managarm-kernel*- )
1847 -kernel*- )
1851 *-kernel*- )
1852 echo "Invalid configuration '$1': '$kernel' does not support '$os'." 1>&2
1880 echo "Invalid configuration '$1': Kernel '$kernel' not known to work with OS '$os'." 1>&2
1963 echo "$cpu-$vendor${kernel:+-$kernel}${os:+-$os}${obj:+-$obj}"