Index: src/trusted/validator_x86/testdata/64/segment_aligned.tf |
diff --git a/src/trusted/validator_x86/testdata/64/segment_aligned.hex b/src/trusted/validator_x86/testdata/64/segment_aligned.tf |
similarity index 60% |
copy from src/trusted/validator_x86/testdata/64/segment_aligned.hex |
copy to src/trusted/validator_x86/testdata/64/segment_aligned.tf |
index 3eb6a8a266132065b3a4482adef1b80f7a2b8da0..ff87def439fddda866ad0b32e89e8f44a652d6bd 100644 |
--- a/src/trusted/validator_x86/testdata/64/segment_aligned.hex |
+++ b/src/trusted/validator_x86/testdata/64/segment_aligned.tf |
@@ -1,2 +1,7 @@ |
+BITS: 64 |
+OUTCOME: valid |
+ |
# Check that the start address of the segment is 32 byte aligned. |
-90 |
+asm: nop |
+hex: 90 |
+ |