Does s2e and s2e-env support ubuntu 24.04?

[Hongduo Zhao]

Hi Vitaly, 

I know 22.04 is well-supported, is it ok to use s2e tool set in 24.04?

Hongduo

[Vitaly Chipounov]

Hi,

In principle it should work, but I haven't tested it yet.

You may need to add additional packages around here [1].

Vitaly

[1] https://github.com/S2E/s2e-env/blob/master/s2e_env/dat/config.yaml

--
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 visit https://groups.google.com/d/msgid/s2e-dev/83caa040-6bb9-4af8-bbac-997519ad663cn%40googlegroups.com.