'Skip to content
Blog
Participate
Schedule
Attend
Contact
FAQs
Kernel Summit Sessions proposals
Closed
Sort by:
Title
,
Track
,
Submission date
∨
*
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
*
Formal specification for userspace API
Formal specification for userspace API
Kernel Summit Track
11/03/2016
Sasha Levin
*
Formal specification for describing userspace API's
Formal specification for describing userspace API's
Kernel Summit Track
11/03/2016
Sasha Levin
*
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
*
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
*
VM Panel -- Bring your VM issues
VM Panel -- Bring your VM issues / questions
Kernel Summit Track
11/01/2016
Theodore Ts'o
*
VM Brainstorming
VM Brainstorming
Kernel Summit Track
11/01/2016
Theodore Ts'o
*
Container / cgroup v2 API
To resolve disagreements over the cgroup v2 API semantics
Kernel Summit Track
11/01/2016
Theodore Ts'o
*
Complex Dependencies Part II
Complex Linux kernel dependencies Part II
Kernel Summit Track
10/31/2016
Luis Rodriguez
*
Complex Dependencies Part I
Complex Linux kernel dependencies part 1
Kernel Summit Track
10/31/2016
Luis Rodriguez
*
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
Welcome
Login
Subscribe to
Proposals feed
Sponsors
DIAMOND SPONSOR
PLATINUM SPONSORS
GOLD SPONSORS
SILVER SPONSORS
T-SHIRT SPONSOR
BREAKFAST SPONSOR
MEDIA SPONSORS