7 Commits (47129a9ad627b9f451b2ae3a156868b43d8d9ed6)

Author	SHA1	Message	Date
Friday Ortiz	61e0aef8b6	.github,aya,test: clean up interface and script per review comments ... - .github: Ensure we only download the debug package that matches the kernel we downloaded. - aya: Constrain the breakpoint interface to only valid combinations of options. - test: Document what the test is actually doing for future readers who might be unfamiliar with modprobe_path.	3 weeks ago
Friday Ortiz	51d97a4303	test,xtask: include debug symbols for attaching breakpoints in tests ... For some reason, the aarch64 6.1 debian kernel was not compiled with CONFIG_KALLSYMS_ALL=y, and the locations of globals are not available in kallsyms. To attach breakpoints to these symbols in the test pipeline, we need to read them from System.map and apply the kaslr offset to get their real address. The System.map file is not provided in the kernel package by default, so we need to extract it from the corresponding debug package. - .github: pull the corresponding debug packages down as well as regular kernels - test: attach the perf_event_bp test breakpoint to the modprobe_path address in kallsyms if present, or by applying the kaslr offset to the System.map address if not found - xtask: preferentially extract the System.map file from the debug package, if available	4 weeks ago
Tamir Duberstein	9996f7a300	Allow `+debN` kernels ... Seems 6.12 is now being marked `+deb13`.	3 months ago
Tamir Duberstein	e692e5ffc5	Remove stale comments ... Upstream isn't planning to do this.	7 months ago
Tamir Duberstein	f26ccde136	Allow `+bpo` kernels ... Seems 6.10 is now being marked `+bpo`. Improve error handling while I'm here.	10 months ago
Tamir Duberstein	d1457acc6d	ci: cache downloads ... We're seeing 429 from Github trying to download gen_init_cpio, so cache it using actions cache. Since I'm here add this for kernel images as well to save time waiting on slow Debian servers.	11 months ago
Tamir Duberstein	fbbc2ec050	ci: automatically download latest kernel revs ... Let's get off the treadmill. Switch (almost) all wget usages to curl.	1 year ago