jingni / rpms / kernel

Forked from rpms/kernel 5 years ago
Clone
98e8d2
--- a/arch/x86/boot/main.c	2019-03-13 04:04:53.000000000 -0700
98e8d2
+++ b/arch/x86/boot/main.c	2019-05-25 14:31:21.043272496 -0700
98e8d2
@@ -147,7 +147,7 @@ void main(void)
98e8d2
 
98e8d2
 	/* Make sure we have all the proper CPU support */
98e8d2
 	if (validate_cpu()) {
98e8d2
-		puts("This processor is not supported in this version of RHEL.\n");
98e8d2
+		puts("This processor is not supported in this version of CentOS Linux.\n");
98e8d2
 		die();
98e8d2
 	}
98e8d2