Index: kernel/genarch/include/drivers/amdm37x_uart/amdm37x_uart.h
===================================================================
--- kernel/genarch/include/drivers/amdm37x_uart/amdm37x_uart.h	(revision b0e58c7a89fef9fcc3325787870c9927f15524d9)
+++ kernel/genarch/include/drivers/amdm37x_uart/amdm37x_uart.h	(revision 609cbf8e7f7d5f3ceec78dc1369fd73c169ec464)
@@ -448,5 +448,5 @@
 
 
-int amdm37x_uart_init(amdm37x_uart_t *, inr_t, uintptr_t, size_t);
+bool amdm37x_uart_init(amdm37x_uart_t *, inr_t, uintptr_t, size_t);
 void amdm37x_uart_input_wire(amdm37x_uart_t *, indev_t *);