16. April 2024

[dimakuv]

Agenda

(please write your proposed agenda items in comments under this discussion)

• EDMM Lazy Alloc PR -- status

EDMM Lazy Alloc PR

Debug of one last issue is in progress (SIGSEGV delivered into the Gramine enclave on EACCEPT in a nested way). Potential in-kernel SGX driver bug.

Woju: support for Ubuntu 24.04

• Currently Gramine doesn't build on 24.04 (specifically, Glibc 2.39 shipped with Gramine cannot be built on 24.04).
• Everything else is done: CI is done, tests pass.
• Osho will take on this bug with GCC 12 + Glibc 2.39 + CFLAGS, hopefully.