Skip to content

Commit

Permalink
platforms: temporarily remove haswell4 machine (#300)
Browse files Browse the repository at this point in the history
Signed-off-by: Gerwin Klein <[email protected]>
  • Loading branch information
lsf37 authored Jan 9, 2024
1 parent 739bd6d commit 6775e43
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion seL4-platforms/platforms.yml
Original file line number Diff line number Diff line change
Expand Up @@ -321,7 +321,7 @@ platforms:
modes: [32, 64]
smp: [32, 64]
platform: x86_64
req: [skylake, haswell3, haswell4, skylake2]
req: [skylake, haswell3, skylake2] # [skylake, haswell3, haswell4, skylake2]
simulation_binary: x86
march: nehalem

Expand Down

0 comments on commit 6775e43

Please sign in to comment.