Dear fellow TSC members, I would like to nominate Indan Zupancic for membership in the TSC, and Gernot has nominated Ivan Velickovic. They are the two most active contributors to seL4, and both now have a number of years of experience around seL4. Ivan (at UNSW) is the main current developer of the Microkit, which would be good to have represented on the TSC. Indan (at the seL4 foundation) is the main current maintainer of the seL4 code base in terms PR reviews, code contributions in the past two years, and interfacing with developers. He has industry experience building systems on top of seL4. He also has strong opinions about design, which would be good to represent on the TSC. Anything initial reactions before I call for a vote? Cheers, Gerwin