From 990de9df324026de4cd55c37b764a1962b27c63d Mon Sep 17 00:00:00 2001
From: Francis Nixon <francis.nixon@starlab.io>
Date: Fri, 26 Feb 2021 11:08:00 -0500
Subject: [PATCH] In theory this should fix pipline.

---
 mythril/src/linux.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mythril/src/linux.rs b/mythril/src/linux.rs
index ed0c8f3..2055469 100644
--- a/mythril/src/linux.rs
+++ b/mythril/src/linux.rs
@@ -85,7 +85,7 @@ pub fn load_linux(
     let magic = LittleEndian::read_u32(&kernel[offsets::HEADER_MAGIC]);
 
     // HdrS
-    if magic != 0x53726448 {
+    if magic != HEADER_MAGIC_VALUE {
         error!("Invalid kernel image (bad magic = 0x{:x})", magic);
         return Err(Error::InvalidValue);
     }