From 579a8c6d2c9d8620f9d5f3b10b20db3f9237fd1f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Kr=C3=B6ning?=
 <martin.kroening@eonerc.rwth-aachen.de>
Date: Tue, 14 Jan 2025 13:10:23 +0100
Subject: [PATCH] fix(riscv64): `clippy::unnecessary_map_or`

---
 src/arch/riscv64/mod.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/arch/riscv64/mod.rs b/src/arch/riscv64/mod.rs
index 2add36e6..4e327bea 100644
--- a/src/arch/riscv64/mod.rs
+++ b/src/arch/riscv64/mod.rs
@@ -35,7 +35,7 @@ fn find_kernel_multiboot(chosen: &FdtNode<'_, '_>) -> Option<&'static [u8]> {
 		.children()
 		.filter(|child| child.name.starts_with("module@"))
 		.find(|child| {
-			child.compatible().map_or(false, |compatible| {
+			child.compatible().is_some_and(|compatible| {
 				compatible
 					.all()
 					.any(|compatible| compatible == "multiboot,ramdisk")