mirror of
https://github.com/genodelabs/genode.git
synced 2025-03-23 20:45:35 +00:00
The base address of I/O ports has a different encoding than those of I/O memory. This needs to be encountered in the PCI config helper utilities. Fix genodelabs/genode#4576