Skip to content

Commit

Permalink
Browse files Browse the repository at this point in the history
Merge pull request #18 from Fischer-Simon/arm-kernel-list
src/format_ext2_kernel.ml: Fix kernel filtering for aarch64 architecture
  • Loading branch information
rwmjones committed Jul 13, 2023
2 parents 59a8ffc + 4b3922f commit 594a058
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions src/format_ext2_kernel.ml
Expand Up @@ -187,6 +187,7 @@ and patt_of_cpu host_cpu =
| "amd64" | "x86_64" -> ["amd64"; "x86_64"]
| "parisc" | "parisc64" -> ["hppa"; "hppa64"]
| "ppc64el" -> ["powerpc64le"]
| "aarch64" -> ["aarch64"; "arm64"]
| _ when host_cpu.[0] = 'i' && host_cpu.[2] = '8' && host_cpu.[3] = '6' -> ["?86"]
| _ when String.length host_cpu >= 5 && String.sub host_cpu 0 5 = "armv7" -> ["armmp"]
| _ -> [host_cpu]
Expand Down

0 comments on commit 594a058

Please sign in to comment.