Lines Matching refs:kernel
1293 # First recognize some ad-hoc cases, or perhaps split kernel-os, or else just
1298 kernel=linux
1302 kernel=os2
1306 kernel=nto
1312 IFS="-" read kernel os <<EOF
1317 # Default OS when just kernel was specified
1319 kernel=nto
1323 kernel=linux
1327 kernel=managarm
1331 kernel=
1336 # Now, normalize the OS (knowing we just have one component, it's not a kernel,
1522 kernel=
1537 kernel=linux
1728 # Sometimes we do "kernel-libc", so those need to count as OSes.
1731 # Likewise for "kernel-abi"
1789 kernel* | msvc* )
1830 # As a final step for OS-related things, validate the OS-kernel combination
1831 # (given a valid OS), if there is a kernel.
1832 case $kernel-$os-$obj in
1839 managarm-mlibc*- | managarm-kernel*- )
1846 # require a kernel.
1847 echo "Invalid configuration '$1': libc '$os' needs explicit kernel." 1>&2
1850 -kernel*- )
1851 echo "Invalid configuration '$1': '$os' needs explicit kernel." 1>&2
1854 *-kernel*- )
1855 echo "Invalid configuration '$1': '$kernel' does not support '$os'." 1>&2
1873 # None (no kernel, i.e. freestanding / bare metal),
1877 # Blank kernel with real OS is always fine.
1880 # Blank kernel and OS with real machine code file format is always fine.
1883 echo "Invalid configuration '$1': Kernel '$kernel' not known to work with OS '$os'." 1>&2
1966 echo "$cpu-$vendor${kernel:+-$kernel}${os:+-$os}${obj:+-$obj}"