[seL4] FOSDEM’26: Microkernel and Component-Based OS - Call for Papers