# kernel

Sep 01, 2024 #linux #kernel

In Pursuit of Lean OS Kernels

Jun 01, 2021 #llvm #kernel #bitcode

Whole Kernel Bitcode

Sep 01, 2020 #kernel #attack surface #security

MultiK: A framework for Orchestrating Specialized Kernels