In theory this should fix pipline.

mythril-hypervisor · Feb 26, 2021 · 990de9d · 990de9d
1 parent e62f38e
commit 990de9d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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);
     }