[GSOC] Implement hardware nested page table support for vkernels

[Sepherosa Ziehau]

On Mon, Jun 24, 2013 at 3:16 AM, Mihai Carabas <mihai.carabas at gmail.com> wrote:
> Hello,
>
> I will make a brief description of what I've done this week. First I will
> make a short paragraph with my joy while getting up a new development
> environment.
>
> At the begining of the week I received at my school some HP blades [1], with
> Xeon processors that supports EPT. I decided to move from the Corei3 desktop
> and create a new developing environment. After struggling with the HP iLO
> virtual console, I installed the DFly on it (at first I tried with the
> virtual CD-ROM and it didn't work because dragonfly wasn't recognizing the
> devices, than moved to the virtual USB drive and it worked). After a lost
> day, I managed to install it and have this ACPI warnings[2]. Booting without
> ACPI, failed with a panic [3] (the console has no buffer, so I can't give
> you more output). There wouldn't be any problem (only annoying prints to the
> console), but at a reboot the machine freezes in this state [4]. Yesterday
> swildner came with the notice to put in boot/loader.conf the
> "debug.acpi.disabled="thermal"" and the warning messages dissapeared, but
> the reboot still blocks. Further more, I investigate with swildner and found

As for the reboot issue, there are several things could be tried:
1) on/off sysctl hw.acpi.handle_reboot
2) on/off sysctl hw.acpi.disable_on_reboot
3) don't load ehci module

Best Regards,
sephe

-- 
Tomorrow Will Never Die