kernel/bpf-developer-tutorial
1
0
Fork 0
mirror of https://github.com/eunomia-bpf/bpf-developer-tutorial.git synced 2026-11-01 05:05:38 +08:00
Code Issues Packages Projects Releases Wiki Activity

docs: streamline BPF tutorial authoring skills

Browse Source
This commit is contained in:
LinuxDev9002
2026-07-21 22:05:35 -07:00
parent b0d2c80dd5
commit bb092b8a7a
3 changed files with 34 additions and 82 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
.agents/skills/test-bpf-tutorial-kvm/scripts/run-in-kvm.sh
View File

@@ -146,13 +146,15 @@ fi
die "/dev/kvm is not available with read/write permission; refusing a TCG fallback"
benchmark_root=$(realpath -e -- "$benchmark_root")
kernel_source=$benchmark_root/vendor/linux-framework
kernel_build=$benchmark_root/vendor/build/x86/linux
kernel_source_link=$kernel_build/source
kernel_image=$kernel_build/arch/x86/boot/bzImage
kernel_config=$kernel_build/.config
kernel_release_file=$kernel_build/include/config/kernel.release
[[ -d $kernel_source ]] || die "kernel source directory is missing: $kernel_source"
[[ -e $kernel_source_link ]] || die "kernel build source link is missing: $kernel_source_link"
kernel_source=$(realpath -e -- "$kernel_source_link")
[[ -d $kernel_source ]] || die "kernel build source directory is missing: $kernel_source"
[[ -s $kernel_image ]] || die "built benchmark kernel is missing: $kernel_image"
[[ -r $kernel_config ]] || die "kernel config is missing: $kernel_config"
[[ -r $kernel_release_file ]] || die "kernel release file is missing: $kernel_release_file"
@@ -191,6 +193,7 @@ printf '%s\n' \
'KVM preflight: OK' \
"benchmark_root=$benchmark_root" \
"kernel_image=$kernel_image" \
"kernel_source=$kernel_source" \
"kernel_release=$kernel_release" \
"kernel_sha256=$kernel_sha256" \
"kernel_config_sha256=$config_sha256" \