[seL4] Reminder: Developers Day registration closes Monday