OP-TEE Contributions Forum, monthly meeting June 23

Hi,

Tomorrow, Tuesday, it's time for another OP-TEE contributors' monthly
meeting. For time and connection details, see the calendar at
https://www.trustedfirmware.org/meetings/

Maintainers in July:
- Jens is unavailable most or all of July

OP-TEE release July 17:
- Someone needs to fill in for Jens, or we cancel or postpone the release

Next OP-TEE Contributors Forum, July 28
- Can someone else host the meeting, or should we cancel it?

Adding sections in MAINTAINERS
- Core reviewers
- Various TAs
- Updating other parts

Any updates for Kconfig support?

Any other topics?

Cheers,
Jens