Add in elf model from Dominic/Stephen. Make run_power build again. Does not effectively use elf model yet

1 files changed, 13 insertions, 0 deletions

diff --git a/src/elf_model/elf_linking_file2.lem b/src/elf_model/elf_linking_file2.lem
new file mode 100644
index 00000000..df69b5c9
--- /dev/null
+++ b/src/elf_model/elf_linking_file2.lem
@@ -0,0 +1,13 @@
+open import Bitstring
+
+open import Elf_header
+open import Elf_section_header_table
+
+open import Maybe
+
+type elf32_linking_file2 =
+  <| elf32_executable_file2_header               : elf32_header
+   ; elf32_executable_file2_program_header_table : maybe elf32_program_header_table
+   ; elf32_executable_file2_body                 : bitstring
+   ; elf32_executable_file2_section_header_table : elf32_section_header_table
+   |>
\ No newline at end of file