original_kernel/kernel/livepatch
..
Kconfig
Makefile
core.c
core.h
patch.c
patch.h
shadow.c
transition.c
transition.h