citadel_kernel
