Of the Field

Linux Kernel Maintainer Summit

An annual, by-invitation gathering of the world’s leading core kernel developers to discuss the state of the existing kernel and plan the next development cycle.

Visit the official siteSponsorship open
0Speakers
24Sponsors
30On the bill · sessions
24Companies · in total
§II

Sponsors

The houses behind the program. Tiers as disclosed.
armPlatinum
AWSDiamond
BasetenPlatinum
clockwork.ioPlatinum
GoogleDiamond
Intel – PyTorchPlatinum
Lightning AI PyTorch 2026Platinum
Red HatPlatinum
Citadel SecuritiesGold
DatadogGold
D.E. ShawGold
d-MatrixGold
Jane StreetGold
Lemurian LabsGold
RebellionsGold
FalSilver
LablupSilver
tigrisSilver
VASTSilver
ClickHouseBronze
PerforatedBronze
Dell Technologies Capital (DTC)
LMCache Tensormesh
Yasp.ai
§III

Agenda

Selected from 30 sessions on the bill.
  • Thursday, September 3 09:30 PDT

    Simplifying Microkit System Composition with Acacia

  • Thursday, September 3 10:30 PDT

    A Policy-free Boot Process for seL4

  • Thursday, September 3 11:00 PDT

    Carrels: Secure, High-performance Microservice on seL4

  • Thursday, September 3 11:30 PDT

    Single Kernel Multicore seL4

  • Thursday, September 3 11:45 PDT

    Booting Windows on an x86-64 seL4-based VMM

  • Thursday, September 3 13:30 PDT

    Rigorous Agentic Systems Engineering for seL4 using HAMR

  • Thursday, September 3 14:00 PDT

    Efficient User-level Physical Memory Management on seL4

  • Thursday, September 3 14:15 PDT

    Modeling and Performance Analysis of Ethernet on LionsOS

  • Tuesday, September 1 09:10 PDT

    Keynote: The Age of Software Understanding

Intermission
Part the Second · For the Buyer

An audience of 24 companies, parsed from the program.

24 companies in attendance.

The numbers below are derived from the speakers, sponsors, and exhibitors on this page — cross-referenced into one ledger. They are the only thing here that 10times.com cannot tell you.

Who's in the room
0All threespeak · spons · exh
24Sponsoringsponsor only
0Companies Speakingspeaker only
Most-represented companies
  1. 01ArmSp·P
  2. 02AWSSp·D
  3. 03BasetenSp·P
  4. 04Citadel SecuritiesSp·G
  5. 05ClickHouseSp·B
  6. 06clockwork.ioSp·P
  7. 07DatadogSp·G
  8. 08Dell Technologies Capital (DTC)Sp
  9. 09D.E. ShawSp·G
  10. 10d-MatrixSp·G
  11. 11FalSp·S
  12. 12GoogleSp·D
  13. 13Intel – PyTorchSp·P
  14. 14Jane StreetSp·G
Sponsors by tier
diamond2
8% of 24
platinum6
25% of 24
gold7
29% of 24
silver4
17% of 24
bronze2
8% of 24
unspecified3
13% of 24
At peer events but not here

These companies sponsored two or more peer events recently, but aren't on this program. For an organizer, that's a list of warm prospects.

Related events · by shared sponsors