Encountered some issues while replacing GuestOS

[Jay Ironman]

Here are the steps for me to change the version of GuestOS to ubuntu20.04:

1. Replace the content in the 'images. json' file with the relevant content of ubuntu20.04
2. Modify the 'makefile. Linux' file and replace its contents with ubuntu20.04. Delete all relevant content related to other systems
3. Run the 'make Linux j3' command to start compilation

But I encountered some problems:

1. Successfully downloaded the iso image of ubuntu20.04, but only successfully. No content similar to "image. raw. s2e" appeared, which means that the "output" folder was not generated
2. Error1->Error response from daemon: Duplicate mount point:/home/iie iisd/guest images
3. Error 2->make: * * * [home/xxx/guest images//Makefile. Linux: 240:/home/xxx/guest images/. samples/linux-4.9.3 x86_64] Error 125, I checked line 240 of Makefile. Linux, and the content of this line is $(eval $(call TASK_SNAPSHOT, ubuntu-20.04-x86_64,)

I really don't understand why this is happening. If you have the time to help me answer it, I would greatly appreciate it!

[Jay Ironman]

Here is a screenshot of my runtime error:

[Vitaly Chipounov]

Hi,

Please push your changes somewhere. It's impossible to help without seeing the code.

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/3ae9abdd-ff82-4ed0-863c-e202f6d77a3dn%40googlegroups.com.

[Jay Ironman]

I seem to have solved this problem in your article https://github.com/S2E/guest-images It should be mentioned that if s2e is built using s2e env, then the step of "Checking out the kernel repository" should no longer be performed, but the corresponding repository in the built s2e should be directly used for subsequent operations!

[S2E Developer Forum]

Hello,
I am about to generate an image of ubuntu20.04, but in the end, there is a problem:

I don't understand why this problem arises. Where exactly is the "deb" package it refers to? How should I obtain it?

[Jay Ironman]

It seems that I have already solved this problem, just delete all the content in the "images" directory, but I am still not sure why this is happening