In theory this should fix pipline.

francis-starlab · francis-starlab · commit 990de9df3240 · 2021-02-26T11:16:18.000-05:00
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);
     }

Original file line number	Diff line number	Diff line change
`@@ -85,7 +85,7 @@ pub fn load_linux(`
`85`	`85`	`let magic = LittleEndian::read_u32(&kernel[offsets::HEADER_MAGIC]);`
`86`	`86`
`87`	`87`	`// HdrS`
`88`		`- if magic != 0x53726448 {`
	`88`	`+ if magic != HEADER_MAGIC_VALUE {`
`89`	`89`	`error!("Invalid kernel image (bad magic = 0x{:x})", magic);`
`90`	`90`	`return Err(Error::InvalidValue);`
`91`	`91`	`}`