1.1 --- a/xen/arch/x86/boot/x86_32.S	Tue Jun 28 07:51:17 2005 +0000
     1.2 +++ b/xen/arch/x86/boot/x86_32.S	Tue Jun 28 08:08:24 2005 +0000
     1.3 @@ -20,16 +20,10 @@ ENTRY(start)
     1.4  	/* Checksum: must be the negated sum of the first two fields. */
     1.5  	.long	-0x1BADB005
     1.6          
     1.7 -bad_cpu_msg:
     1.8 -        .asciz "ERR: Not a P6-compatible CPU!"
     1.9  not_multiboot_msg:
    1.10          .asciz "ERR: Not a Multiboot bootloader!"
    1.11 -bad_cpu:
    1.12 -        mov     $bad_cpu_msg-__PAGE_OFFSET,%esi
    1.13 -        jmp     print_err
    1.14  not_multiboot:
    1.15          mov     $not_multiboot_msg-__PAGE_OFFSET,%esi
    1.16 -print_err:
    1.17          mov     $0xB8000,%edi  # VGA framebuffer
    1.18  1:      mov     (%esi),%bl
    1.19          test    %bl,%bl        # Terminate on '\0' sentinel
    1.20 @@ -61,19 +55,6 @@ 1:      lss     stack_start-__PAGE_OFFSE
    1.21  	pushl	$0
    1.22  	popf
    1.23  
    1.24 -        /* CPU type checks. We need P6+. */
    1.25 -        mov     $0x200000,%edx
    1.26 -        pushfl
    1.27 -        pop     %ecx
    1.28 -        and     %edx,%ecx
    1.29 -        jne     bad_cpu            # ID bit should be clear
    1.30 -        pushl   %edx
    1.31 -        popfl
    1.32 -        pushfl
    1.33 -        pop     %ecx
    1.34 -        and     %edx,%ecx
    1.35 -        je      bad_cpu            # ID bit should be set
    1.36 -
    1.37          /* Set up FPU. */
    1.38          fninit
    1.39