9. May 2023

[dimakuv]

Agenda:

• Benny: Restructuring docs
• Mona: Gramine is in Incubation Stage for CCC
• Dmitrii: OpenMP lib uses /dev/shm now
• Mona: Failing on unknown options in Gramine manifest

Benny: Restructuring docs

There is a pending PR with complete documentation overhaul: #1241. Dmitrii already approved, and Don is currently reviewing. The request from Benny is to finish the reviews and merge it asap. (We could improve small typos later.)

Benny shows https://carteepaul.github.io/gramine/index.html. All the content is there, it's only restructuring of the files.

Michal: I don't like that Curated Apps is there (and the very first item). It's not of good quality. We need to burry it a bit further and it should have a disclaimer (that it's not a part of core Gramine, but rather an external project).

Michal: In the future, new "Design and Concepts" section should be added, and "Gramine features" page should go there. We could also add there a page with comparison of tools/frameworks.

Benny will fix according to the comments and submit new revision of the PR, and we'll need to review quickly.

Mona: Gramine is in Incubation Stage for CCC

Gramine was approved last week in the CCC meeting. This gives us some more money. We want to use the money for the GitHub Pages website.

Dmitrii: OpenMP lib uses /dev/shm now

See the patch:

• https://isrc.iscas.ac.cn/gitlab/mirrors/github.com/llvm_llvm-project/-/commit/d6a0957467e86d5a87964d45fae18733e212c86f
• https://reviews.llvm.org/D89898

This makes OpenMP fail on Gramine-SGX. The workaround for this is adding to fs.mounts: { path = "/dev/shm", type = "tmpfs" }.

Mona: Failing on unknown options in Gramine manifest

Currently Gramine silently ignores unknown-to-it manifest options. We must check the whole manifest file for unknown TOML keys and explicitly fail on them.

Dmitrii created a GitHub issue to track this: #1336.