Fix clippy warning

pull/15/head
Andre Richter 5 years ago
parent 1b69b5dcc2
commit 0d25085af7
No known key found for this signature in database
GPG Key ID: 2116C1AB102F615E

@ -66,7 +66,7 @@ fn kernel_entry() -> ! {
let uart = uart::Uart::new(UART_VIRT_BASE);
uart.puts("MMU is live \\o/\n\nWriting through the virtual mapping at 0x");
uart.hex(UART_VIRT_BASE as u64);
uart.hex(u64::from(UART_VIRT_BASE));
uart.puts(".\n");
// echo everything back

Loading…
Cancel
Save