Source: acl2
Version: 8.5dfsg-5
Severity: wishlist
Tags: patch
User: debian-loonga...@lists.debian.org
Usertags: loong64
Dear maintainers,
Maybe we need to add LoongArch support in
books/kestrel/x86/parsers/parse-pe-file.lisp.
Refer to riscv64, please consider the patch I have attached.
If you have better modification suggestions, please help us fix this patch.
I would like to remind you that the compilation dependency of acl2 is
not yet satisfied. Depends on the gcl ( >= 2.6.14-1) package when
compiling acl2.
If you have any questions, you can contact me at any time.
thanks,
Dandan Zhang
Description: Add PE header machine type for LoongArch
Last-Update: 2024-01-23
--- acl2-8.5dfsg.orig/books/kestrel/x86/parsers/parse-pe-file.lisp
+++ acl2-8.5dfsg/books/kestrel/x86/parsers/parse-pe-file.lisp
@@ -93,6 +93,8 @@
(#xebc . :IMAGE_FILE_MACHINE_EBC)
(#x14c . :IMAGE_FILE_MACHINE_I386)
(#x200 . :IMAGE_FILE_MACHINE_IA64)
+ (#x6232 . :IMAGE_FILE_MACHINE_LOONGARCH32)
+ (#x6264 . :IMAGE_FILE_MACHINE_LOONGARCH64)
(#x9041 . :IMAGE_FILE_MACHINE_M32R)
(#x266 . :IMAGE_FILE_MACHINE_MIPS16)
(#x366 . :IMAGE_FILE_MACHINE_MIPSFPU)
