From b4b9d67a4cc57138ae5bf479d846adb82c0b50ca Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Kr=C3=B6ning?= <mkroening@posteo.net>
Date: Wed, 27 Jul 2022 19:33:32 +0200
Subject: [PATCH] Allow incorrect OS/ABI

---
 src/kernel.rs | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

diff --git a/src/kernel.rs b/src/kernel.rs
index 84a17abd..506f11f8 100644
--- a/src/kernel.rs
+++ b/src/kernel.rs
@@ -102,11 +102,9 @@ impl<'a> Object<'a> {
 				"kernel object is not little endian"
 			);
 			let os_abi = header.e_ident[header::EI_OSABI];
-			assert_eq!(
-				header::ELFOSABI_STANDALONE,
-				os_abi,
-				"kernel is not a hermit application"
-			);
+			if os_abi != header::ELFOSABI_STANDALONE {
+				println!("Warning: kernel is not a hermit application");
+			}
 
 			let note_section = phs
 				.iter()