diff --git a/src/include/console/uart.h b/src/include/console/uart.h
index 8aa8ea2..17811ca 100644
--- a/src/include/console/uart.h
+++ b/src/include/console/uart.h
@@ -43,8 +43,10 @@
 unsigned char uart_rx_byte(void);
 int uart_can_rx_byte(void);
 
+unsigned int uart_platform_base(int idx);
 uint32_t uartmem_getbaseaddr(void);
 
 void oxford_init(void);
+void oxford_remap(unsigned int new_base);
 
 #endif /* CONSOLE_UART_H */