[seL4] Hardware-aided Trusted Computing devroom at FOSDEM

Hello

I would like to invite your to participate in a new devroom: Hardware-aided Trusted Computing. The devroom is devoted to open source projects on top of modern TEEs like Intel SGX, AMD SEV/SVE, Arm TrustZone. You can find the schedule here:

https://fosdem.org/2020/schedule/track/hardware_aided_trusted_computing/

I hope this will be interesting for the community.

See you at FOSDEM.