[vbox-dev] Patches for access width of IO ports in acpi, pci, vga device model

2014-03-04 Thread Alexander Boettcher
Hi, we had for VBox@Genode/Nova to implement our own version of the IO Monitor. During usage we detected some minor issues in the ACPI, PCI and VGA device model between announced/registered IO ports access width and its actual access width usage. acpi.patch - The access width of PM1a_EVT_OFFSET,

Re: [vbox-dev] Patches for access width of IO ports in acpi, pci, vga device model

2014-03-10 Thread Michal Necasek
Hi, I had a look at your patches regarding I/O port registration but they are unfortunately not correct. You seem to have a misconception of how port I/O works in the x86 architecture and assume that it behaves much like memory. That's not the case. You already suspected that you were do

Re: [vbox-dev] Patches for access width of IO ports in acpi, pci, vga device model

2014-03-24 Thread Alexander Boettcher
Hi, I see. Thanks for clarification. Alex. On 10.03.2014 13:00, Michal Necasek wrote: > >Hi, > > I had a look at your patches regarding I/O port registration but they are > unfortunately not correct. You seem to have a misconception of how port I/O > works in the x86 architecture and as