Hi Darren, Just letting you know that we’re working on this as we need to figure out what applies to us. It won’t be a W9 form (only for US entities) but a W8 form, and we’re getting advise on what exact status we fit it. Thanks for your patience. June

On 3 Dec 2025, at 15:38, Cofer, Darren <Darren.Cofer@collins.com> wrote:

Hi June –

Alicia says we also need a W9 for seL4 International (2025 version).

Thanks –

Darren

From: June Andronick (seL4 Foundation) <june@sel4.systems <mailto:june@sel4.systems>> Sent: Wednesday, December 3, 2025 7:23 AM To: Haffner, Alicia (USA) <alicia.haffner@rtx.com <mailto:alicia.haffner@rtx.com>>; Cofer, Darren (USA) <Darren.Cofer@collins.com <mailto:Darren.Cofer@collins.com>> Cc: foundation-admin@sel4.systems <mailto:foundation-admin@sel4.systems> Subject: (seL4 Foundation) invoice for RTX's 2026 membership

Dear Alicia and Darren, Please find attached the invoice for the 2026 membership to the seL4 Foundation (legal name “seL4 International”). Thanks for your support, June ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ Dear Alicia and Darren,

Please find attached the invoice for the 2026 membership to the seL4 Foundation (legal name “seL4 International”).

Thanks for your support,

June