We are pleased to welcome Kansas State University as Associate Member of the se4 Foundation. KSU has for years been collaborating for years on seL4-based projects with a number of Foundation members under multiple DARPA projects and we are looking forward to their continued involvement. Welcome KSU! Gernot