diff --git a/repos/base/include/spec/x86/bios_data_area.h b/repos/base/include/spec/x86/bios_data_area.h index 44c3e93c97..d74ffa3169 100644 --- a/repos/base/include/spec/x86/bios_data_area.h +++ b/repos/base/include/spec/x86/bios_data_area.h @@ -42,7 +42,7 @@ class Genode::Bios_data_area : Mmio<0x12> uint16_t serial_port() const { Equipment::access_t count = read(); - return count ? read() : 0x3f8; + return count ? read() : 0x2f8; } /**