Kernel Recipes 2023 - Demystifying the Linux kernel security process

(51:9)

Kernel Recipes 2023 - sched_ext: pluggable scheduling in the Linux kernel

(47:26)

Kernel Recipes 2023 - Netconf 2023 Workshop

(29:54)

MAKING TACO TATER TOT CASSEROLE.

(12:48)

Kernel Recipes 2024 - Enhancing spatial safety

(50:59)

Kernel Recipes 2019 - Hunting and fixing bugs all over the Linux kernel

(49:51)

The Best Canned Corn Recipe - how to cook canned corn

(1:17)

Kernel Recipes 2024 - Interfacing Kernel C APIs from Rust

(39:23)

Kernel Recipes 2019 - Formal modeling made easy

(55:11)

This is the most delicious corn recipe! Once you try it, you'll never forget the taste!

(3:26)

Kernel Recipes 2019 - Analyzing changes to the binary interface exposed by the Kernel to its modules

(54:13)

Kernel Recipes 2022 - Developing Tilck, a Tiny Linux-compatible kernel

(53:31)