21. May 2024

[dimakuv]

Agenda

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

note: @dimakuv (Dmitrii) will be out on vacation. Wojtek @woju took notes (just major points)

• Mona, Woju — website update
• Don, Mona, Woju, Michał, Scott — CI machine
  • Don has a quote for 13 and a change k$ machine, which looks over budget
  • Scott will help with finding cheaper machine with reasonable spec, look what we can drop
  • @mkow (Michał K.) will work with Mich (Michał Ch.) in ITL to get another quote
  • Don will fwd the quote to Michał and Scott
  • we're going to locate this machine in Warsaw by ITL
  • we're looking for dual socket machine
  • we need aex notify enabled, we need to verify that is available via cpuid
• aex notify
  • eax 12h ecx 1h
  • we need to add it to is-sgx-available
• Mona, Bobby — PRs from Fortanix:
  • [LibOS] Emulate in/out instructions as if they generate SIGSEGV #1192 taken over by Dmitrii, already being worked on
  • other PRs: will be worked on when time is available