diff --git a/rialto/src/main.rs b/rialto/src/main.rs
index 77999fb..30bc5b0 100644
--- a/rialto/src/main.rs
+++ b/rialto/src/main.rs
@@ -63,6 +63,7 @@
     page_table.map_data(&layout::stack_range(40 * SZ_4K))?;
     page_table.map_code(&layout::text_range())?;
     page_table.map_rodata(&layout::rodata_range())?;
+    page_table.map_device(&layout::console_uart_range())?;
 
     // SAFETY: It is safe to activate the page table by setting `TTBR0_EL1` to point to
     // it as this is the first time we activate the page table.