Re: 32-bit FreeBSD under 64-bit KVM

[Aurelien Jarno <aurelien-rXXEIb44qovR7s880joybQ@public.gmane.org>]

Avi Kivity a écrit :
> Aurelien Jarno wrote:
>> Yep. Here are what I get in my dmesg. The lines below are output when
>> the kernel is started (just after the bootloader):
>>
>> Mar  3 16:50:35 joule kernel: assertion failed /usr/local/src/kvm-15/kernel/mmu.c:722: (gpa & HPA_ERR_MASK) == 0
>> Mar  3 16:50:35 joule kernel: audit error: (pre page fault) levels 2 gva 444000 gpa ffffffffffffffff hpa ffffffffffffffff ent 3e369021
>> Mar  3 16:50:36 joule kernel: assertion failed /usr/local/src/kvm-15/kernel/mmu.c:722: (gpa & HPA_ERR_MASK) == 0
>> Mar  3 16:50:36 joule kernel: audit error: (post page fault (fixed)) levels 2 gva 444000 gpa ffffffffffffffff hpa ffffffffffffffff ent 3e369021 
>>
>>
>> Then the kernel takes a huge time to boot, and at then end of the kernel boot, or maybe when
>> trying to start init, the following lines are printed hundred thousand of time:
>>
>> Mar  3 18:40:30 joule kernel: audit error: (pre page fault) levels 2 gva ffffffffbfbfe000 gpa 1e81e000 hpa 4749c000 ent 564ca825
>> Mar  3 18:40:30 joule kernel: audit error: (post page fault (fixed)) levels 2 gva ffffffffbfbfe000 gpa 1e81e000 hpa 4749c000 ent 564ca825
>>   
> 
> Okay, an mmu bug.  Been a while since we've seen one.
> 
> Please post a URL for the .iso so I can take a look, along with exact 
> instructions for reproducing the bug.

I have put a qcow image on http://aurel32.free.fr . You have to bunzip2
the image and then run:

  qemu-system-x86_64 -hda gnu_kfreebsd.qcow

Then wait for the system to boot and look at the boot process. The
kernel should boot fine, but when INIT is started, you will get a
"SEGMENTATION VIOLATION" from the kernel.

At least is what I observe here on two different computers, both with
AMD CPU (Turion 64 X2 and Athlon 64 X2), for kvm versions 14 (maybe also
before) through 16. Note also that the problem is not always
reproducible if the system load is high (for example running cpuburn on
both cores).

Thanks for your help.

Bye,
Aurelien

-- 
  .''`.  Aurelien Jarno	            | GPG: 1024D/F1BCDB73
 : :' :  Debian developer           | Electrical Engineer
 `. `'   aurel32-8fiUuRrzOP0dnm+yROfE0A@public.gmane.org         | aurelien-rXXEIb44qovR7s880joybQ@public.gmane.org
   `-    people.debian.org/~aurel32 | www.aurel32.net

-------------------------------------------------------------------------
Take Surveys. Earn Cash. Influence the Future of IT
Join SourceForge.net's Techsay panel and you'll get the chance to share your
opinions on IT & business topics through brief surveys-and earn cash
http://www.techsay.com/default.php?page=join.php&p=sourceforge&CID=DEVDEV