Hello BPF I understand that CONFIG_DEBUG_INFO_BTF=y will generate .BTF and .BTF_xx sections in the kernel image which are much smaller than those DWARF sections. But I also try to understand how BTF can impact bpftrace and the existing debug tools: 1) If the kernel is built with CONFIG_DEBUG_INFO_BTF=y, can bpftrace relies on BTF only without kernel_devel ? 2) Can the existing kernel debugging tools like crash(1) or kgdb(1) take advantage of BTF ? 3) If the kernel is built with CONFIG_DEBUG_INFO_BTF=y, are the symbolic info and types info in the debug-info section replaced with BTF formatted info? 4) Given the current upstream development effort for BTF, can we run bpftrace without LLVM now ? and can we run bpftrace without the help of kernel header files (kernel-devel) ? 5) Has bpf CO-RE become reality now? Thank you! Johnny