Index: l4/pkg/bootstrap/server/src/platform/ci20.cc
===================================================================
--- l4/pkg/bootstrap/server/src/platform/ci20.cc	(revision 72)
+++ l4/pkg/bootstrap/server/src/platform/ci20.cc	(working copy)
@@ -27,9 +27,11 @@
     unsigned long uart_base;
 
     kuart.base_baud    = 3000000;
-    kuart.base_address = 0x10034000; // UART4
+    // kuart.base_address = 0x10034000; // UART4
+    kuart.base_address = 0x10030000; // UART0 for CI20 primary expansion connector
     kuart.reg_shift    = 2;
-    kuart.irqno        = 34;
+    // kuart.irqno        = 34;
+    kuart.irqno        = 51; // UART0: 32 + 19
 
     static L4::Uart_16550 _uart(kuart.base_baud, 0, 0, 0, 0x10 /* FCR UME */);
     static L4::Io_register_block_mmio r(kuart.base_address + Mips::KSEG1,