---
title: Chat about secure platforms for seL4
allDay: false
startTime: 14:15
endTime: 15:00
date: 2025-03-25
completed: null
---