Regarding the issue of compiling Linux 4.9.3 kernel

[Jay Ironman]

Hello, I noticed that S2E has been updated to support a new kernel, so I have rebuilt S2E. However, I still use the Linux 4.9.3 kernel to build the Guest OS (for experimental purposes). Before the update, there were no issues with using the Linux 4.9.3 kernel to build the Guest OS with the S2E. But when I used the updated S2E to build the Guest OS with the Linux 4.9.3 kernel, the following error occurred. I don't quite understand why this happened, and the file is not included in the Linux 4.9.3 kernel. Why is it referenced? How to solve it? thank!

[Vitaly Chipounov]

Hi,

I dropped support for the old Linux and CGC kernels.

You will need to fix s2e.h to support older kernels if you need them. The change is pretty limited [1].

Vitaly

[1] https://github.com/S2E/s2e-linux-kernel/commit/3f91b1d8d70adadd5e8070703b0b7d0797c603fe#diff-a694b8697bb9939882231cb2f899bee316462dd43c5744176d51120c1bf39146L39

On Sat, Jul 20, 2024 at 6:10 PM Jay Ironman <ironman...@gmail.com> wrote:

Hello, I noticed that S2E has been updated to support a new kernel, so I have rebuilt S2E. However, I still use the Linux 4.9.3 kernel to build the Guest OS (for experimental purposes). Before the update, there were no issues with using the Linux 4.9.3 kernel to build the Guest OS with the S2E. But when I used the updated S2E to build the Guest OS with the Linux 4.9.3 kernel, the following error occurred. I don't quite understand why this happened, and the file is not included in the Linux 4.9.3 kernel. Why is it referenced? How to solve it? thank!

--
You received this message because you are subscribed to the Google Groups "S2E Developer Forum" group.
To unsubscribe from this group and stop receiving emails from it, send an email to s2e-dev+u...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/s2e-dev/774bbc04-6f3c-4fee-addb-97a2bbd2599cn%40googlegroups.com.

[Jay Ironman]

Yes, I have noticed that I am currently rebuilding Guest OS using the Linux 6. x version kernel and have found that it can compile normally. I mainly want to enable the KASan feature, but I don't care what version of the kernel it is. Thank you for your reply.