genodelabs/genode — pull request #513 by alex-ab (2012-11-22 14:34:04+00:00)
Title: Remove hardcoded serial I/O ports for base-nova

The patches use the Bios data area to lookup the I/O port of the serial device. Additionally when booted with PXE the chainloader 'bender' is used to lookup the serial I/O ports and write it to the BDA region. With that we don't have do modify the core_console.h manually and to recompile it for every hardware platform again and again.