Searching in ctf/src/main/resources/kernel_vm