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
I strongly support both nominations. Cheers June
On 21 Oct 2025, at 07:38, Gerwin Klein <gerwin.klein@proofcraft.systems> wrote:
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
_______________________________________________ Tsc-members mailing list -- tsc-members@sel4.systems To unsubscribe send an email to tsc-members-leave@sel4.systems
I strongly support both nominations. Cheers June
On 21 Oct 2025, at 07:38, Gerwin Klein <gerwin.klein@proofcraft.systems> wrote:
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
_______________________________________________ Tsc-members mailing list -- tsc-members@sel4.systems To unsubscribe send an email to tsc-members-leave@sel4.systems
I definitely second Indan’s nomination
On 21 Oct 2025, at 16:38, Gerwin Klein <gerwin.klein@proofcraft.systems> wrote:
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
_______________________________________________ Tsc-members mailing list -- tsc-members@sel4.systems To unsubscribe send an email to tsc-members-leave@sel4.systems
This email and any files transmitted with it may contain confidential information. If you believe you have received this email or any of its contents in error, please notify me immediately by return email and destroy this email. Do not use, disseminate, forward, print or copy any contents of an email received in error.
Thanks to everyone who has replied, that means we can move on to a vote. Please reply with an email with one yes/no for each of Ivan and Indan. E.g. my vote now: Ivan: yes Indan: yes The poll closes on Tue, 5pm Sydney time. Cheers, Gerwin
On 21 Oct 2025, at 16:38, Gerwin Klein <gerwin.klein@proofcraft.systems> wrote:
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
_______________________________________________ Tsc-members mailing list -- tsc-members@sel4.systems To unsubscribe send an email to tsc-members-leave@sel4.systems
My vote: Ivan: yes Indan: yes Raf. On 23/10/2025 15:46, Gerwin Klein wrote:
Thanks to everyone who has replied, that means we can move on to a vote.
Please reply with an email with one yes/no for each of Ivan and Indan. E.g. my vote now:
Ivan: yes Indan: yes
The poll closes on Tue, 5pm Sydney time.
Cheers, Gerwin
On 21 Oct 2025, at 16:38, Gerwin Klein <gerwin.klein@proofcraft.systems> wrote:
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
_______________________________________________ Tsc-members mailing list -- tsc-members@sel4.systems To unsubscribe send an email to tsc-members-leave@sel4.systems
_______________________________________________ Tsc-members mailing list -- tsc-members@sel4.systems To unsubscribe send an email to tsc-members-leave@sel4.systems
My vote: Ivan: Yes Indan: Yes Regards, Yanyan ________________________________ From: Gerwin Klein <gerwin.klein@proofcraft.systems> Sent: Wednesday, 22 October 2025 9:46 PM To: tsc-members@sel4.systems <tsc-members@sel4.systems> Subject: [Tsc-members] Re: Nominating Ivan and Indan for TSC membership Thanks to everyone who has replied, that means we can move on to a vote. Please reply with an email with one yes/no for each of Ivan and Indan. E.g. my vote now: Ivan: yes Indan: yes The poll closes on Tue, 5pm Sydney time. Cheers, Gerwin
On 21 Oct 2025, at 16:38, Gerwin Klein <gerwin.klein@proofcraft.systems> wrote:
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
_______________________________________________ Tsc-members mailing list -- tsc-members@sel4.systems To unsubscribe send an email to tsc-members-leave@sel4.systems
_______________________________________________ Tsc-members mailing list -- tsc-members@sel4.systems To unsubscribe send an email to tsc-members-leave@sel4.systems
my vote: Ivan: yes Indan: yes Ihor.
On 23 Oct 2025, at 15:46, Gerwin Klein <gerwin.klein@proofcraft.systems> wrote:
Thanks to everyone who has replied, that means we can move on to a vote.
Please reply with an email with one yes/no for each of Ivan and Indan. E.g. my vote now:
Ivan: yes Indan: yes
The poll closes on Tue, 5pm Sydney time.
Cheers, Gerwin
On 21 Oct 2025, at 16:38, Gerwin Klein <gerwin.klein@proofcraft.systems> wrote:
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
_______________________________________________ Tsc-members mailing list -- tsc-members@sel4.systems To unsubscribe send an email to tsc-members-leave@sel4.systems
_______________________________________________ Tsc-members mailing list -- tsc-members@sel4.systems To unsubscribe send an email to tsc-members-leave@sel4.systems
Ivan: yes Indan: yes Corey ________________________________ From: Gerwin Klein <gerwin.klein@proofcraft.systems> Sent: Thursday, 23 October 2025 15:46 To: tsc-members@sel4.systems <tsc-members@sel4.systems> Subject: [Tsc-members] Re: Nominating Ivan and Indan for TSC membership Thanks to everyone who has replied, that means we can move on to a vote. Please reply with an email with one yes/no for each of Ivan and Indan. E.g. my vote now: Ivan: yes Indan: yes The poll closes on Tue, 5pm Sydney time. Cheers, Gerwin
On 21 Oct 2025, at 16:38, Gerwin Klein <gerwin.klein@proofcraft.systems> wrote:
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
_______________________________________________ Tsc-members mailing list -- tsc-members@sel4.systems To unsubscribe send an email to tsc-members-leave@sel4.systems
_______________________________________________ Tsc-members mailing list -- tsc-members@sel4.systems To unsubscribe send an email to tsc-members-leave@sel4.systems
Yes to both from Kent. On Thu, 23 Oct 2025 at 5:02 pm, Corey Lewis <corey.lewis@proofcraft.systems> wrote:
Ivan: yes Indan: yes
Corey ------------------------------ *From:* Gerwin Klein <gerwin.klein@proofcraft.systems> *Sent:* Thursday, 23 October 2025 15:46
*To:* tsc-members@sel4.systems <tsc-members@sel4.systems> *Subject:* [Tsc-members] Re: Nominating Ivan and Indan for TSC membership
Thanks to everyone who has replied, that means we can move on to a vote.
Please reply with an email with one yes/no for each of Ivan and Indan. E.g. my vote now:
Ivan: yes Indan: yes
The poll closes on Tue, 5pm Sydney time.
Cheers, Gerwin
On 21 Oct 2025, at 16:38, Gerwin Klein <gerwin.klein@proofcraft.systems> wrote:
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
_______________________________________________ Tsc-members mailing list -- tsc-members@sel4.systems To unsubscribe send an email to tsc-members-leave@sel4.systems
_______________________________________________ Tsc-members mailing list -- tsc-members@sel4.systems To unsubscribe send an email to tsc-members-leave@sel4.systems _______________________________________________ Tsc-members mailing list -- tsc-members@sel4.systems To unsubscribe send an email to tsc-members-leave@sel4.systems
My vote: Ivan: yes Indan: yes Cheers June
On 23 Oct 2025, at 06:46, Gerwin Klein <gerwin.klein@proofcraft.systems> wrote:
Thanks to everyone who has replied, that means we can move on to a vote.
Please reply with an email with one yes/no for each of Ivan and Indan. E.g. my vote now:
Ivan: yes Indan: yes
The poll closes on Tue, 5pm Sydney time.
Cheers, Gerwin
On 21 Oct 2025, at 16:38, Gerwin Klein <gerwin.klein@proofcraft.systems> wrote:
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
_______________________________________________ Tsc-members mailing list -- tsc-members@sel4.systems To unsubscribe send an email to tsc-members-leave@sel4.systems
_______________________________________________ Tsc-members mailing list -- tsc-members@sel4.systems To unsubscribe send an email to tsc-members-leave@sel4.systems
Thanks to everyone who has sent in their vote, this concludes the poll. I count 8 votes in favour of both candidates, and 3 absent. Will proceed to invite Ivan and Indan. Cheers, Gerwin
On 23 Oct 2025, at 15:46, Gerwin Klein <gerwin.klein@proofcraft.systems> wrote:
Thanks to everyone who has replied, that means we can move on to a vote.
Please reply with an email with one yes/no for each of Ivan and Indan. E.g. my vote now:
Ivan: yes Indan: yes
The poll closes on Tue, 5pm Sydney time.
Cheers, Gerwin
On 21 Oct 2025, at 16:38, Gerwin Klein <gerwin.klein@proofcraft.systems> wrote:
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
_______________________________________________ Tsc-members mailing list -- tsc-members@sel4.systems To unsubscribe send an email to tsc-members-leave@sel4.systems
_______________________________________________ Tsc-members mailing list -- tsc-members@sel4.systems To unsubscribe send an email to tsc-members-leave@sel4.systems
participants (9)
-
Corey Lewis -
Gernot Heiser -
Gerwin Klein -
Ihor Kuz -
June Andronick (Gmail) -
June Andronick (seL4 Foundation) -
Kent Mcleod -
Rafal Kolanski -
Yanyan Shen