'Skip to content
Blog
Participate
Schedule
Attend
Contact
FAQs
Kernel Summit Track track
Talks within the kernel summit track of Plumbers
All tracks for this event
Display proposals...
Proposals for this track
*
A Formal Model of Linux-Kernel Memory Ordering
Review, explore, and critique a draft formal model of Linux-kernel memory ordering.
(slides)
Kernel Summit Track
10/29/2016
Paul McKenney
*
Complex Dependencies Part I
Complex Linux kernel dependencies part 1
Kernel Summit Track
10/31/2016
Luis Rodriguez
*
Complex Dependencies Part II
Complex Linux kernel dependencies Part II
Kernel Summit Track
10/31/2016
Luis Rodriguez
*
Container / cgroup v2 API
To resolve disagreements over the cgroup v2 API semantics
Kernel Summit Track
11/01/2016
Theodore Ts'o
*
DMA Engines
DMA Engines
Kernel Summit Track
11/02/2016
Theodore Ts'o
*
Fixing kconfig semantics
Linux kconfig semantics are loose and this creates issues, lets review them and fix them
Kernel Summit Track
11/02/2016
Luis Rodriguez
*
Formal specification for describing userspace API's
Formal specification for describing userspace API's
Kernel Summit Track
11/03/2016
Sasha Levin
*
Formal specification for userspace API
Formal specification for userspace API
Kernel Summit Track
11/03/2016
Sasha Levin
*
Netlink engine issues, and ways to fix those
An attempt to resolve Netlink issues to use it outside of the network subsystem
(slides)
Kernel Summit Track
11/02/2016
Andrei Vagin
*
Printk improvements
Printk improvements
Kernel Summit Track
11/01/2016
Theodore Ts'o
*
Rerun: A Formal Model of Linux-Kernel Memory Ordering
Review, explore, and critique a draft formal model of Linux-kernel memory ordering.
(slides)
Kernel Summit Track
11/04/2016
Paul McKenney
*
VM Brainstorming
VM Brainstorming
Kernel Summit Track
11/01/2016
Theodore Ts'o
*
VM Panel -- Bring your VM issues
VM Panel -- Bring your VM issues / questions
Kernel Summit Track
11/01/2016
Theodore Ts'o
Welcome
Login
Subscribe to
Proposals feed
Sponsors
DIAMOND SPONSOR
PLATINUM SPONSORS
GOLD SPONSORS
SILVER SPONSORS
T-SHIRT SPONSOR
BREAKFAST SPONSOR
MEDIA SPONSORS