#75 Guest OS (Linux kernel) halts during boot (related to VT-d DMA protection)

[Amit Vasudevan]

OS and platform information:
Ubuntu 12.04.1 32bit, kernel 3.2.48 (non pae), Intel Core i7-2600

OS log at the point of halting:
[...]TCP reno registered
[...]UDP-Lite hash table entries: 512 (order: 2, 163804 bytes)
[...]NET: Registered protocol family 1
[...]pci 0000:00:1a.0: PCI INT A -> GSI 16 (level, low) -> IRQ 16

More details can be found in the discussion thread below:
https://sourceforge.net/p/xmhf/discussion/general/thread/ae1550f9/

Reported by: Jun Young

[Amit Vasudevan]

Should be fixed with:

https://sourceforge.net/p/xmhf/xmhf/ci/2514e57c59bf5f9563e662e315c92aa39ca1864a/