Kernel Summit Track track

Talks within the kernel summit track of Plumbers

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