linuxkit/projects/selinux/kernel
..
Dockerfile
kernel_config
kernel_config.debug
Makefile