Regarding the issue of replacing the Linux kernel

[Jay Ironman]

Hello, I tried to change the Linux kernel to 5.8.6. I have followed the method in [1] and modified the kernel source code of Linux 5.8.6 in combination with Linux 4.9.3. However, when compiling it using the ` s2e image-build ubuntu-22.04-x86_64 ` command, an error occurred, as shown in the following figure（I have searched online but couldn't find a problem similar to mine. I am very distressed）:

It is worth noting that I am still using the compiled environment of Linux 6.8.2 (Dockerfile. x86_64 file in S2E), and I am not sure why this issue occurred. I compiled it successfully on the desktop version of Ubuntu 22.04 without any problems. If you could give me some guidance, I would be extremely grateful.

[Jay Ironman]

[1]  linux-6.8.2: added s2e support · S2E/s2e-linux-kernel@3f91b1d (github.com)

[Vitaly Chipounov]

Could you build the vanilla kernel in the docker image first? If there are errors, it probably means dependencies are wrong.

Vitaly

--
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/013d1d57-544b-4672-a7d5-b2f69b53a8d4n%40googlegroups.com.

[Jay Ironman]

1. I built the kernel in Docker
2. Now I can successfully build using Linux 5.19.1. I don't know why Linux 5.8.6 has the above problem, but I guess it's a dependency issue. I will check why this problem is caused when I have time
Thank you for your reply