I have a question about replacing GuestOS for S2E

[Jay Ironman]

I have successfully replaced the Ubuntu system and Debian system versions of S2E's GuestOS. I would like to further consider replacing S2E's GuestOS with Kylin, UOS, etc. I'm not sure if S2E currently supports it? Or what kind of work needs to be done?

[Vitaly Chipounov]

Hi,

S2E supports in theory anything that runs on x86. The tooling around it needs to be extended however. You need two things:
- Automatically generate an image with the OS. Most OSes have support for unattended setup. You'll need to add your own Makefile for that (along with Makefile.linux and Makefile.windows).

- Add a monitor plugin (similar to LinuxMonitor and WindowsMonitor). This may require modifying the guest kernel to communicate various events to S2E.

Vitaly

On Mon, Oct 30, 2023 at 8:14 AM Jay Ironman <ironman...@gmail.com> wrote:

I have successfully replaced the Ubuntu system and Debian system versions of S2E's GuestOS. I would like to further consider replacing S2E's GuestOS with Kylin, UOS, etc. I'm not sure if S2E currently supports it? Or what kind of work needs to be done?

--
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/37c488fe-8515-4a6e-9ac6-583d368cb060n%40googlegroups.com.

[Jay Ironman]

Thank you, I am trying!